Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International ... May 12-17, 2003, Revised Selected Pap - Couverture souple

Couverture souple

ISBN 10 : 3662211289 ISBN 13 : 9783662211281

Editeur : Springer, 2014

Synopsis

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.

Détails de l'édition

• Éditeur: Springer
• Date d'édition: 2014
• Langue: anglais
• ISBN 10: 3662211289
• ISBN 13: 9783662211281
• Reliure: Broché
• Coordonnées du fabricant: non disponible