04359nam 22006855 450 99646549840331620230406063844.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)99100000000049091720100301d2008 u| 0engurnn|008mamaatxtccrRelations and Kleene Algebra in Computer Science[electronic resource] 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 /edited by Rudolf Berghammer, Bernhard Möller, Georg Struth1st ed. 2008.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2008.1 online resource (X, 402 p.) Theoretical Computer Science and General Issues,2512-2029 ;4988Bibliographic 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.Theoretical Computer Science and General Issues,2512-2029 ;4988Machine theoryComputer science—MathematicsArtificial intelligenceSoftware engineeringFormal Languages and Automata TheorySymbolic and Algebraic ManipulationArtificial IntelligenceSoftware EngineeringMachine theory.Computer science—Mathematics.Artificial intelligence.Software engineering.Formal Languages and Automata Theory.Symbolic and Algebraic Manipulation.Artificial Intelligence.Software Engineering.511.3/24Berghammer Rudolfedthttp://id.loc.gov/vocabulary/relators/edtMöller Bernhardedthttp://id.loc.gov/vocabulary/relators/edtStruth Georgedthttp://id.loc.gov/vocabulary/relators/edtInternational Workshop on Applications of Kleene Algebra(5th :2008 :Frauenworth Abbey)BOOK996465498403316Relations and Kleene Algebra in Computer Science772046UNISA