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
International Seminar on Relational Methods in Computer Science 2003 : Bad Malente, Germany)
creator
Berghammer, R. (Rudolf)
1952-
Möller, Bernhard
1953-
Struth, Georg.
International Workshop on Applications of Kleene Algebra 2003 : Bad Malente, Germany)
text
bibliography
conference publication
Electronic books.
Conference papers and proceedings.
Kongress.
gw
Berlin
Hong Kong
Springer
©2004
2004
monographic
eng
1 online resource (277 pages) : illustrations
This book constitutes the thoroughly refereed joint postproceedings of the 7th International Seminar on Relational Methods in Computer Science and the 2nd International Workshop on Applications of Kleene Algebra held in Bad Malente, Germany in May 2003. The 21 revised full papers presented were carefully selected during two rounds of reviewing and improvement. The papers address foundational and methodological aspects of the calculi of relations and Kleene algebra as well as applications of such methods in various areas of computer science and information processing.
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.
Rudof Berghammer, Bernhard Möller, Georg Struth (eds.).
Includes bibliographical references and index.
Relation algebras
Congresses
Kleene algebra
Congresses
Computer science
Mathematics
Congresses
Algèbres des relations
Congrès
Logique algébrique
Congrès
MATHEMATICS
Number Theory
Computer science
Mathematics
Kleene algebra
Relation algebras
Kleene-Algebra
Relationenalgebra
Algèbre des relations
Logique algébrique
Malente (2003)
Relational algebra
Kleene-algebraic methods
Computer science
RelMiCS
Kleene algebra
Relational methods
QA10
512.74
54.10
SS 4800
004
DAT 702f
DAT 510f
Relational and Kleene-algebraic methods in computer science
International Seminar on Relational Methods in Computer Science (7th : 2003 : Bad Malente, Germany).
Berlin ; London : Springer, ©2004
(DLC) 2004106383
(OCoLC)55799701
Lecture notes in computer science ; 3051
3540247718
9783540247715
2004106383
11011163
https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/b98117
https://link-springer-com.libraryproxy.ist.ac.at/book/10.1007/b98117
EYM
050415
20200626095318.0
ocm59008382
eng