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 - Brossura

Brossura

ISBN 10: 3662211289 ISBN 13: 9783662211281

Casa editrice: Springer, 2014

Riassunto

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.

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 2014
• Lingua: Inglese
• ISBN 10: 3662211289
• ISBN 13: 9783662211281
• Rilegatura: Copertina flessibile
• Numero di pagine: 296
• Redattore: Berghammer R., Möller Bernhard, Struth Georg
• Contatto del produttore: Elevation; https://www.also.com/ec/cms5/en_6000/6000/index.jsp; ; Friedrich-Karl-Str. 9; Hamburg; 22391; Germania