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 BibTeX
- Raymond Bisdorff, Marc Roubens:
Choice Procedures in Pairwise Comparison Multiple-Attribute Decision Making Methods.
1-7
Electronic Edition (link) BibTeX
- Jules Desharnais:
Kleene Algebra with Relations.
8-20
Electronic Edition (link) BibTeX
- Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov, Martin C. Rinard:
Integrating Model Checking and Theorem Proving for Relational Reasoning.
21-33
Electronic Edition (link) BibTeX
- Roland Carl Backhouse, Diethard Michaelis:
Fixed-Point Characterisation of Winning Strategies in Impartial Games.
34-47
Electronic Edition (link) BibTeX
- Adam Bakewell, Detlef Plump, Colin Runciman:
Checking the Shape Safety of Pointer Manipulations.
48-61
Electronic Edition (link) BibTeX
- Rudolf Berghammer, Alexander Fronk:
Applying Relational Algebra in 3D Graphical Software Design.
62-74
Electronic Edition (link) BibTeX
- Hans Bherer, Jules Desharnais, Marc Frappier, Richard St.-Denis:
Investigating Discrete Controllability with Kleene Algebra.
74-85
Electronic Edition (link) BibTeX
- Ernst-Erich Doberkat:
Tracing Relations Probabilistically.
86-98
Electronic Edition (link) BibTeX
- Thorsten Ehm:
Pointer Kleene Algebra.
99-111
Electronic Edition (link) BibTeX
- Thorsten Ehm, Bernhard Möller, Georg Struth:
Kleene Modules.
112-124
Electronic Edition (link) BibTeX
- Hitoshi Furusawa:
The Categories of Kleene Algebras, Action Algebras and Action Lattices Are Related by Adjunctions.
124-136
Electronic Edition (link) BibTeX
- Carlos Gonzalia:
Towards a Formalisation of Relational Database Theory in Constructive Type Theory.
137-148
Electronic Edition (link) BibTeX
- Valentin Goranko, Ullrich Hustadt, Renate A. Schmidt, Dimiter Vakarelov:
SCAN Is Complete for All Sahlqvist Formulae.
149-162
Electronic Edition (link) BibTeX
- Petr Hájek:
Relations and GUHA-Style Data Mining II.
163-170
Electronic Edition (link) BibTeX
- Peter Jipsen:
A Note on Complex Algebras of Semigroups.
171-177
Electronic Edition (link) BibTeX
- Wolfram Kahl:
Calculational Relation-Algebraic Proofs in Isabelle/Isar.
178-190
Electronic Edition (link) BibTeX
- Wendy MacCaull, Ewa Orlowska:
A Calculus of Typed Relations.
191-201
Electronic Edition (link) BibTeX
- Bernhard Möller, Georg Struth:
Greedy-Like Algorithms in Modal Kleene Algebra.
202-215
Electronic Edition (link) BibTeX
- Eugenio G. Omodeo, Ewa Orlowska, Alberto Policriti:
Rasiowa-Sikorski Style Relational Elementary Set Theory.
215-226
Electronic Edition (link) BibTeX
- Gunther Schmidt:
Relational Data Analysis.
227-237
Electronic Edition (link) BibTeX
- Renate A. Schmidt, Ewa Orlowska, Ullrich Hustadt:
Two Proof Systems for Peirce Algebras.
238-251
Electronic Edition (link) BibTeX
- Giuseppe Scollo:
An Institution Isomorphism for Planar Graph Colouring.
252-264
Electronic Edition (link) BibTeX
- Michael Winter:
Decomposing Relations into Orderings.
265-277
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:35:49 2009
by Michael Ley (ley@uni-trier.de)
