7. RelMiCS 2003:
Malente (near Kiel),
Germany
Rudolf Berghammer, Bernhard Möller, Georg Struth (Eds.):
Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers.
Lecture Notes in Computer Science 3051 Springer 2004, ISBN 3-540-22145-X 
- Raymond Bisdorff, Marc Roubens:
Choice Procedures in Pairwise Comparison Multiple-Attribute Decision Making Methods.
1-7
- Jules Desharnais:
Kleene Algebra with Relations.
8-20
- Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard:
Integrating Model Checking and Theorem Proving for Relational Reasoning.
21-33
- Roland Carl Backhouse, Diethard Michaelis:
Fixed-Point Characterisation of Winning Strategies in Impartial Games.
34-47
- Adam Bakewell, Detlef Plump, Colin Runciman:
Checking the Shape Safety of Pointer Manipulations.
48-61
- Rudolf Berghammer, Alexander Fronk:
Applying Relational Algebra in 3D Graphical Software Design.
62-74
- Hans Bherer, Jules Desharnais, Marc Frappier, Richard St.-Denis:
Investigating Discrete Controllability with Kleene Algebra.
74-85
- Ernst-Erich Doberkat:
Tracing Relations Probabilistically.
86-98
- Thorsten Ehm:
Pointer Kleene Algebra.
99-111
- Thorsten Ehm, Bernhard Möller, Georg Struth:
Kleene Modules.
112-124
- Hitoshi Furusawa:
The Categories of Kleene Algebras, Action Algebras and Action Lattices Are Related by Adjunctions.
124-136
- Carlos Gonzalia:
Towards a Formalisation of Relational Database Theory in Constructive Type Theory.
137-148
- Valentin Goranko, Ullrich Hustadt, Renate A. Schmidt, Dimiter Vakarelov:
SCAN Is Complete for All Sahlqvist Formulae.
149-162
- Petr Hájek:
Relations and GUHA-Style Data Mining II.
163-170
- Peter Jipsen:
A Note on Complex Algebras of Semigroups.
171-177
- Wolfram Kahl:
Calculational Relation-Algebraic Proofs in Isabelle/Isar.
178-190
- Wendy MacCaull, Ewa Orlowska:
A Calculus of Typed Relations.
191-201
- Bernhard Möller, Georg Struth:
Greedy-Like Algorithms in Modal Kleene Algebra.
202-215
- Eugenio G. Omodeo, Ewa Orlowska, Alberto Policriti:
Rasiowa-Sikorski Style Relational Elementary Set Theory.
215-226
- Gunther Schmidt:
Relational Data Analysis.
227-237
- Renate A. Schmidt, Ewa Orlowska, Ullrich Hustadt:
Two Proof Systems for Peirce Algebras.
238-251
- Giuseppe Scollo:
An Institution Isomorphism for Planar Graph Colouring.
252-264
- Michael Winter:
Decomposing Relations into Orderings.
265-277
Last update Thu May 17 01:53:53 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
