Relations and Kleene algebra in computer science : 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenworth, Germany, April 7-11, 2008 : proceedings / / Rudolf Berghammer, Bernhard Moller, Georg Struth (eds.)

• Pubblicazione: Berlin ; ; New York, : Springer, c2008
• Edizione: 1st ed. 2008.
• Descrizione fisica: 1 online resource (X, 402 p.)
• Disciplina: 511.3/24
• Soggetto topico: Algebraic logic; Relation algebras; Computer science - Mathematics
• Altri autori: BerghammerR <1952-> (Rudolf) MollerBernhard <1953-> StruthGeorg
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: Formal Methods and the Theory of Social Choice -- Relations Making Their Way from Logics to Mathematics and Applied Sciences -- Boolean Logics with Relations -- Relation Algebra and RelView in Practical Use: Construction of Special University Timetables -- A Relation Algebraic Semantics for a Lazy Functional Logic Language -- Latest News about Demonic Algebra with Domain -- On the Structure of Demonic Refinement Algebras with Enabledness and Termination -- Multi-objective Problems in Terms of Relational Algebra -- The Lattice of Contact Relations on a Boolean Algebra -- A Non-probabilistic Relational Model of Probabilistic Kleene Algebras -- Increasing Bisemigroups and Algebraic Routing -- Lazy Relations -- The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy -- The Algebraic Approach II: Dioids, Quantales and Monads -- Automated Reasoning for Hybrid Systems — Two Case Studies — -- Non-termination in Idempotent Semirings -- Formal Concepts in Dedekind Categories -- The Structure of the One-Generated Free Domain Semiring -- Determinisation of Relational Substitutions in Ordered Categories with Domain -- Boolean Algebras and Stone Maps in Schröder Categories -- Cardinality in Allegories -- Solving Linear Equations in *-continuous Action Lattices -- Reactive Probabilistic Programs and Refinement Algebra -- Knowledge and Games in Modal Semirings -- Theorem Proving Modulo Based on Boolean Equational Procedures -- Rectangles, Fringes, and Inverses -- An Ordered Category of Processes -- Automatic Proof Generation in Kleene Algebra.
• Altri titoli varianti: Relational methods in computer science; Applications of Kleene algebra; Kleene algebra; RelMiCS/AKA 2008; RelMiCS 2008; AKA 2008
• Titolo autorizzato: Relations and Kleene algebra in computer science
• ISBN: 3-540-78913-8
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910484120103321
• Lo trovi qui: Univ. Federico II
• Serie: Lecture notes in computer science ; ; 4988.; LNCS sublibrary. : SL 1, . -Theoretical computer science and general issues.