New Added

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

Like Score+147

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
Original Title 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
Author International Seminar on Relational Methods in Computer Science (7th : 2003 : Bad Malente, Germany), Berghammer, R. (Rudolf), 1952-, Möller, Bernhard, 1953-, Struth, Georg, International Workshop on Applications of Kleene Algebra (2nd : 2003 : Bad Malente, Germany)
Publication date

Topics Algebraic logic, Relation algebras
Publisher Berlin : New York : Springer
Collection folkscanomy_miscellaneous, folkscanomy, additional_collections
Language English
Book Type EBook
Material Type Book
File Type PDF
Downloadable Yes
Support Mobile, Desktop, Tablet
Scan Quality: Best No watermark
PDF Quality: Good
Availability Yes
Price 0.00
Submitted By
Sketch the Cow
Submit Date
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 PapersAuthor: Rudolf Berghammer, Bernhard Möller, Georg Struth Published by Springer Berlin Heidelberg ISBN: 978-3-540-22145-6 DOI: 10.1007/b98117Table of Contents:Choice Procedures in Pairwise Comparison Multiple-Attribute Decision Making Methods
Kleene Algebra with Relations
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 AnalysisIncludes bibliographical references and index
We will be happy to hear your thoughts

Leave a reply

eBookmela
Logo
Register New Account
Reset Password
Compare items
  • Total (0)
Compare
0