Relational and Kleene-Algebraic Methods in Computer Science [electronic resource] : 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 /
Material type: TextSeries: Lecture Notes in Computer Science ; 3051Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2004Edition: 1st ed. 2004Description: X, 286 p. online resourceContent type:- text
- computer
- online resource
- 9783540247715
- Number theory
- Machine theory
- Software engineering
- Computer science
- Computer science -- Mathematics
- Artificial intelligence
- Number Theory
- Formal Languages and Automata Theory
- Software Engineering
- Computer Science Logic and Foundations of Programming
- Symbolic and Algebraic Manipulation
- Artificial Intelligence
- 512.7 23
- QA241-247.5
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.
There are no comments on this title.