04127nam 22006615 450 99646607180331620230406030642.03-540-37874-X10.1007/11828563(CKB)1000000000283986(SSID)ssj0000319794(PQKBManifestationID)11227259(PQKBTitleCode)TC0000319794(PQKBWorkID)10338312(PQKB)10204016(DE-He213)978-3-540-37874-7(MiAaPQ)EBC3068018(PPN)123137675(EXLCZ)99100000000028398620100301d2006 u| 0engurnn|008mamaatxtccrRelations and Kleene Algebra in Computer Science[electronic resource] 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29 - September2, 2006, Proceedings /edited by Renate Schmidt1st ed. 2006.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2006.1 online resource (XII, 436 p.) Theoretical Computer Science and General Issues,2512-2029 ;4136Bibliographic Level Mode of Issuance: Monograph3-540-37873-1 Includes bibliographical references and index.Weak Kleene Algebra and Computation Trees -- Finite Symmetric Integral Relation Algebras with No 3-Cycles -- Computations and Relational Bundles -- An Axiomatization of Arrays for Kleene Algebra with Tests -- Local Variable Scoping and Kleene Algebra with Tests -- Computing and Visualizing Lattices of Subgroups Using Relation Algebra and RelView -- On the Complexity of the Equational Theory of Relational Action Algebras -- Demonic Algebra with Domain -- Topological Representation of Contact Lattices -- Betweenness and Comparability Obtained from Binary Relations -- Relational Representation Theorems for General Lattices with Negations -- Monotonicity Analysis Can Speed Up Verification -- Max-Plus Convex Geometry -- Lazy Semiring Neighbours and Some Applications -- Omega Algebra, Demonic Refinement Algebra and Commands -- Semigroupoid Interfaces for Relation-Algebraic Programming in Haskell -- On the Cardinality of Relations -- Evaluating Sets of Search Points Using Relational Algebra -- Algebraization of Hybrid Logic with Binders -- Using Probabilistic Kleene Algebra for Protocol Verification -- Monotone Predicate Transformers as Up-Closed Multirelations -- Homomorphism and Isomorphism Theorems Generalized from a Relational Perspective -- Relational Measures and Integration -- A Relational View of Recurrence and Attractors in State Transition Dynamics -- On Two Dually Nondeterministic Refinement Algebras -- On the Fixpoint Theory of Equality and Its Applications -- Monodic Tree Kleene Algebra -- Weak Relational Products.Theoretical Computer Science and General Issues,2512-2029 ;4136Machine 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.512.74Schmidt Renateedthttp://id.loc.gov/vocabulary/relators/edtInternational Workshop on Applications of Kleene Algebra(4th :2006 :Manchester, England)BOOK996466071803316Relations and Kleene Algebra in Computer Science772046UNISA