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
Invited Papers
Contributed Papers
- Rudolf Berghammer, Ulf Milanese:
Relational Approach to Boolean Logic Problems.
48-59
- Claude Bolduc, Jules Desharnais:
Static Analysis of Programs Using Omega Algebra with Tests.
60-72
- Ivo Düntsch, Michael Winter:
Weak Contact Structures.
73-82
- Alexander Fronk, Jörg Pleumann:
On Relational Cycles.
83-95
- Hitoshi Furusawa:
A Framework for Kleene Algebra with an Embedded Structure.
96-107
- Walter Guttmann:
Non-termination in Unifying Theories of Programming.
108-120
- Peter Höfner, Bernhard Möller:
Towards an Algebra of Hybrid Systems.
121-133
- Jouni Järvinen, Ewa Orlowska:
Relational Correspondences for Lattices with Operators.
134-146
- Wolfram Kahl, Christopher Kumar Anand, Jacques Carette:
Control-Flow Semantics for Assembly-Level Data-Flow Graphs.
147-160
- Britta Kehden, Frank Neumann, Rudolf Berghammer:
Relational Implementation of Simple Parallel Evolutionary Algorithms.
161-172
- Wendy MacCaull, Dimiter Vakarelov:
Lattice-Based Paraconsistent Logic.
173-187
- Vincent Mathieu, Jules Desharnais:
Verification of Pushdown Systems Using Omega Algebra with Domain.
188-199
- Bernhard Möller, Georg Struth:
p Is.
200-211
- Ewa Orlowska, Anna Maria Radzikowska:
Relational Representability for Algebras of Substructural Logics.
212-224
- Georg Struth:
Knuth-Bendix Completion as a Data Structure.
225-236
- Ewa Orlowska, Andrzej Szalas:
Quantifier Elimination in Elementary Set Theory.
237-248
- Michael Winter:
Time-Dependent Contact Structures in Goguen Categories.
249-262
Last update Wed Feb 15 05:16:12 2012
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page