default search action
7. RelMiCS 2003: Malente (near Kiel), Germany
- Rudolf Berghammer, Bernhard Möller, Georg Struth:
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 Gonzalía:
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
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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-18 20:32 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: