Willkommen, schön sind Sie da!
Logo Ex Libris

Relations and Kleene Algebra in Computer Science

  • Kartonierter Einband
  • 402 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Leseprobe
Constituting the refereed proceedings of the 10th International Conference on Relational Methods in Computer Science, RelMiCS 2008... Weiterlesen
CHF 114.00
Exemplar wird für Sie besorgt.
Kein Rückgaberecht!
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

Constituting the refereed proceedings of the 10th International Conference on Relational Methods in Computer Science, RelMiCS 2008, and the 5th International Conference on Applications of Kleene Algebras, these papers were selected from numerous submissions.

This volume contains the proceedings of the 10th International Seminar on - lational Methods in Computer Science (RelMiCS 10) and the 5th International Workshop on Applications of Kleene Algebra (AKA 5). The joint conference took place in Frauenwo rthon an Island in Lake Chiem in Bavaria,April 7 April 11, 2008. Its purpose was to bring together researchers various subdisciplines of computer science, mathematics and related ?elds who use the calculus of - lations and/or Kleene algebra as methodological and conceptual tools in their work. This conference is the joint continuation of two di?erent strands of meetings. The seminars of the RelMiCS series were held in Schloss Dagstuhl (Germany) in January 1994, Parati (Brazil) in July 1995, Hammamet (Tunisia) in January 1997, Warsaw (Poland) in September 1998, Qu ebec (Canada) in January 2000, and Oisterwijk (The Netherlands) in October 2001. The meeting on Appli- tions of Kleene Algebra started as a workshop, also held in Schloss Dagstuhl, in February2001.Tojointhesetwothemesinoneconferencewasmainlymotivated by the substantial common interests and overlap of the two communities. Over the years this has led to fruitful interactions and openened new and interesting researchdirections.Jointmeetings havebeenheldinMalente(Germany)in May 2003, in St. Catherines (Canada) in February 2005 and in Manchester (UK) in August/September 2006. This volume contains 28 contributions by researchersfrom all overthe world.

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

Produktinformationen

Titel: Relations and Kleene Algebra in Computer Science
Untertitel: 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008, Proceedings
Editor:
EAN: 9783540789123
ISBN: 978-3-540-78912-3
Format: Kartonierter Einband
Herausgeber: Springer, Berlin
Genre: Informatik
Anzahl Seiten: 402
Gewicht: 635g
Größe: H23mm x B233mm x T155mm
Jahr: 2008
Untertitel: Englisch
Auflage: 2008. 2008

Weitere Produkte aus der Reihe "Theoretical Computer Science and General Issues"