![Buchcover Relational and Kleene-Algebraic Methods in Computer Science | EAN 9783540247715 | ISBN 3-540-24771-8 | ISBN 978-3-540-24771-5](https://buch.isbn.de/cover/9783540247715.jpg)
×
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
herausgegeben von R. Berghammer, Bernhard Möller und Georg StruthInhaltsverzeichnis
- Invited Papers.
- Choice Procedures in Pairwise Comparison Multiple-Attribute Decision Making Methods.
- Kleene Algebra with Relations.
- Contributed Papers.
- Integrating Model Checking and Theorem Proving for Relational Reasoning.
- Fixed-Point Characterisation of Winning Strategies in Impartial Games.
- Checking the Shape Safety of Pointer Manipulations.
- Applying Relational Algebra in 3D Graphical Software Design.
- Investigating Discrete Controllability with Kleene Algebra.
- Tracing Relations Probabilistically.
- Pointer Kleene Algebra.
- Kleene Modules.
- The Categories of Kleene Algebras, Action Algebras and Action Lattices Are Related by Adjunctions.
- Towards a Formalisation of Relational Database Theory in Constructive Type Theory.
- SCAN Is Complete for All Sahlqvist Formulae.
- Relations and GUHA-Style Data Mining II.
- A Note on Complex Algebras of Semigroups.
- Calculational Relation-Algebraic Proofs in Isabelle/Isar.
- A Calculus of Typed Relations.
- Greedy-Like Algorithms in Modal Kleene Algebra.
- Rasiowa-Sikorski Style Relational Elementary Set Theory.
- Relational Data Analysis.
- Two Proof Systems for Peirce Algebras.
- An Institution Isomorphism for Planar Graph Colouring.
- Decomposing Relations into Orderings.