04196nam 2200697 a 450 991048412010332120200520144314.03-540-78913-810.1007/978-3-540-78913-0(CKB)1000000000490917(SSID)ssj0000319795(PQKBManifestationID)11233787(PQKBTitleCode)TC0000319795(PQKBWorkID)10338883(PQKB)10781509(DE-He213)978-3-540-78913-0(MiAaPQ)EBC3068720(PPN)125218680(EXLCZ)99100000000049091720080220d2008 uy 0engurnn|008mamaatxtccrRelations 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.)1st ed. 2008.Berlin ;New York Springerc20081 online resource (X, 402 p.) Lecture notes in computer science,0302-9743 ;4988LNCS sublibrary. SL 1, Theoretical computer science and general issuesBibliographic Level Mode of Issuance: Monograph3-540-78912-X Includes bibliographical references and index.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.Lecture notes in computer science ;4988.LNCS sublibrary.SL 1,Theoretical computer science and general issues.Relational methods in computer scienceApplications of Kleene algebraKleene algebraRelMiCS/AKA 2008RelMiCS 2008AKA 2008Algebraic logicCongressesRelation algebrasCongressesComputer scienceMathematicsCongressesAlgebraic logicRelation algebrasComputer scienceMathematics511.3/24Berghammer R(Rudolf),1952-1224783Moller Bernhard1953-1759753Struth Georg1759754International Workshop on Applications of Kleene Algebra(5th :2008 :Frauenworth Abbey)MiAaPQMiAaPQMiAaPQBOOK9910484120103321Relations and Kleene algebra in computer science4198405UNINA