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 /
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | , , |
| Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2004.
|
| Σειρά: | Lecture Notes in Computer Science,
3051 |
| Θέματα: | |
| Διαθέσιμο Online: | Full Text via HEAL-Link |
Πίνακας περιεχομένων:
- 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.
