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.).

By: (7th : International Seminar on Relational Methods in Computer Science (7th : 2003 : Bad Malente, Germany)
Contributor(s): Berghammer, R. (Rudolf), 1952- | Möller, Bernhard, 1953- | Struth, Georg | International Workshop on Applications of Kleene Algebra (2nd : 2003 : Bad Malente, Germany)
Material type: TextTextSeries: SerienbezeichnungLecture notes in computer science: 3051.Publisher: Berlin ; Hong Kong : Springer, ©2004Description: 1 online resource (277 pages) : illustrationsContent type: text Media type: computer Carrier type: online resourceISBN: 3540247718; 9783540247715Subject(s): 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 methodsGenre/Form: Electronic books. | Conference papers and proceedings. | Kongress. Additional physical formats: Print version:: Relational and Kleene-algebraic methods in computer science.DDC classification: 512.74 LOC classification: QA10Other classification: 54.10 | SS 4800 | 004 | DAT 702f | DAT 510f Online resources: Click here to access online
Contents:
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.
Summary: 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.
Tags from this library: No tags from this library for this title. Log in to add tags.
    Average rating: 0.0 (0 votes)
Item type Current location Collection Call number Status Date due Barcode Item holds
eBook eBook e-Library

Electronic Book@IST

EBook Available
Total holds: 0

Screen of 2005-04-15; title from caption.

Includes bibliographical references and index.

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.

There are no comments for this item.

to post a comment.

Powered by Koha