Buch, Englisch, Band 12062, 335 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 540 g
18th International Conference, RAMiCS 2020, Palaiseau, France, October 26¿29, 2020, Proceedings
Buch, Englisch, Band 12062, 335 Seiten, Paperback, Format (B × H): 155 mm x 235 mm, Gewicht: 540 g
Reihe: Theoretical Computer Science and General Issues
ISBN: 978-3-030-43519-6
Verlag: Springer International Publishing
The 20 full papers presented together with 3 invited abstracts were carefully selected from 29 submissions. Topics covered range from mathematical foundations to applications as conceptual and methodological tools in computer science and beyond.
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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 TraceAlgebra.- The Involutive Quantaloid of Completely Distributive Lattices.- Computer-Supported Exploration of a Categorical Axiomatization of Modeloids.- Sharpness in the Fuzzy World.