Relational and algebraic methods in computer science : 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, proceedings /: 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, proceedings. (©2020)

• Record Type: Book
• Other Titles: RAMiCS 2020
• Further Information: Note: Uli Fahrenberg, Peter Jipsen, Michael Winter (eds.).
• Other Names: Fahrenberg, Uli; Jipsen, Peter, 1964-; (Professor), Winter, Michael; RAMiCS (Conference), 18th
• Contents: Commutative Doubly-idempotent Semirings Determined by Chains and by Preorder Forests -- A Relation-Algebraic Treatment of the Dedekind Recursion Theorem -- Hardness of Network Satisfaction for Relation Algebras with Normal Representations -- The Theta-Join as a Join With Theta -- Bisimilarity of Diagrams -- Generating Posets Beyond N -- Automated Algebraic Reasoning for Collections and Local Variables with Lenses -- Weakening Relation Algebras and FL 2-algebras -- Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras -- A Hierarchy of Algebras for Boolean Subsets -- Differential Hoare Logics and Refinement Calculi for Hybrid System with Isabelle/HOL -- Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory -- Expressive Power and Succinctness of the Positive Calculus of Relations -- Stone Dualities from Opfibrations -- Preorders, Partial Semigroups, and Quantales -- Counting and Computing Join-Endomorphisms In Lattices -- A Unary Semigroup Trace Algebra -- The Involutive Quantaloid of Completely Distributive Lattices -- Computer-Supported Exploration of a Categorical Axiomatization of Modeloids -- Sharpness in the Fuzzy World.
• Publisher Details: Cham : Springer
• Publication Date: 2020
• Copyright Date: 2020
• Extent: 1 online resource
• Subjects: 004.01/51; Computer science -- Mathematics -- Congresses; Algebraic logic -- Congresses; Relation algebras -- Congresses; Algebraic logic; Computer science -- Mathematics; Relation algebras; Electronic books; Conference papers and proceedings
• Languages: English
• ISBNs: 9783030435202; 3030435202
• Related ISBNs: 3030435199; 9783030435196
• Notes: Note: Includes bibliographical references and author index.; Note: Online resource; title from PDF title page (SpringerLink, viewed April 15, 2020).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.