8. RelMiCS 2005:
St. Catharines,
Ontario,
Canada
Wendy MacCaull, Michael Winter, Ivo Düntsch (Eds.):
Relational Methods in Computer Science, 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers.
Lecture Notes in Computer Science 3929 Springer 2006, ISBN 3-540-33339-8 BibTeX
Invited Papers
Contributed Papers
- Rudolf Berghammer, Ulf Milanese:
Relational Approach to Boolean Logic Problems.
48-59
Electronic Edition (link) BibTeX
- Claude Bolduc, Jules Desharnais:
Static Analysis of Programs Using Omega Algebra with Tests.
60-72
Electronic Edition (link) BibTeX
- Ivo Düntsch, Michael Winter:
Weak Contact Structures.
73-82
Electronic Edition (link) BibTeX
- Alexander Fronk, Jörg Pleumann:
On Relational Cycles.
83-95
Electronic Edition (link) BibTeX
- Hitoshi Furusawa:
A Framework for Kleene Algebra with an Embedded Structure.
96-107
Electronic Edition (link) BibTeX
- Walter Guttmann:
Non-termination in Unifying Theories of Programming.
108-120
Electronic Edition (link) BibTeX
- Peter Höfner, Bernhard Möller:
Towards an Algebra of Hybrid Systems.
121-133
Electronic Edition (link) BibTeX
- Jouni Järvinen, Ewa Orlowska:
Relational Correspondences for Lattices with Operators.
134-146
Electronic Edition (link) BibTeX
- Wolfram Kahl, Christopher Kumar Anand, Jacques Carette:
Control-Flow Semantics for Assembly-Level Data-Flow Graphs.
147-160
Electronic Edition (link) BibTeX
- Britta Kehden, Frank Neumann, Rudolf Berghammer:
Relational Implementation of Simple Parallel Evolutionary Algorithms.
161-172
Electronic Edition (link) BibTeX
- Wendy MacCaull, Dimiter Vakarelov:
Lattice-Based Paraconsistent Logic.
173-187
Electronic Edition (link) BibTeX
- Vincent Mathieu, Jules Desharnais:
Verification of Pushdown Systems Using Omega Algebra with Domain.
188-199
Electronic Edition (link) BibTeX
- Bernhard Möller, Georg Struth:
p Is.
200-211
Electronic Edition (link) BibTeX
- Ewa Orlowska, Anna Maria Radzikowska:
Relational Representability for Algebras of Substructural Logics.
212-224
Electronic Edition (link) BibTeX
- Georg Struth:
Knuth-Bendix Completion as a Data Structure.
225-236
Electronic Edition (link) BibTeX
- Ewa Orlowska, Andrzej Szalas:
Quantifier Elimination in Elementary Set Theory.
237-248
Electronic Edition (link) BibTeX
- Michael Winter:
Time-Dependent Contact Structures in Goguen Categories.
249-262
Electronic Edition (link) BibTeX
Copyright © Wed Jun 4 18:51:42 2008
by Michael Ley (ley@uni-trier.de)
