Relational and Algebraic Methods in Computer Science: 18th International Conference, Ramics 2020, Palaiseau, France, October 26-29, 2020, Proceedings

ISBN-13: 9783030435196 / Angielski / Miękka / 2020 / 335 str.

Uli Fahrenberg; Peter Jipsen; Michael Winter

Spis treści

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.