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
Enregistré dans:
| Collectivités auteurs: | , |
|---|---|
| Andre forfattere: | , , |
| Format: | Livre numérique |
| Sprog: | Anglais |
| Udgivet: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serier: | Lecture notes in computer science
3051 |
| Fag: | |
| Online adgang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Kommentar: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • 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, Rudof Berghammer, Bernhard Möller, Georg Struth (eds.), Berlin, Springer, 2004, 1 vol. (X-277 p.), Lecture notes in computer science, 3-540-22145-X • Relational and Kleene-Algebraic Methods in Computer Science, Texte imprimé, 9783662211281 |
Indholdsfortegnelse:
- 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.