default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID18th RAMiCS 2020: Palaiseau, France
- Uli Fahrenberg, Peter Jipsen, Michael Winter:
Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]. Lecture Notes in Computer Science 12062, Springer 2020, ISBN 978-3-030-43519-6 - Natanael Alpay
, Peter Jipsen:
Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests. 1-14 - Rudolf Berghammer:
A Relation-Algebraic Treatment of the Dedekind Recursion Theorem. 15-30 - Manuel Bodirsky, Simon Knäuer:
Hardness of Network Satisfaction for Relation Algebras with Normal Representations. 31-46 - Jules Desharnais, Bernhard Möller:
The θ-Join as a Join with θ. 47-64 - Jérémy Dubut:
Bisimilarity of Diagrams. 65-81 - Uli Fahrenberg, Christian Johansen, Georg Struth, Ratan Bahadur Thapa:
Generating Posets Beyond N. 82-99 - Simon Foster, James Baxter:
Automated Algebraic Reasoning for Collections and Local Variables with Lenses. 100-116 - Nikolaos Galatos, Peter Jipsen:
Weakening Relation Algebras and FL2-algebras. 117-133 - Walter Guttmann:
Verifying the Correctness of Disjoint-Set Forests with Kleene Relation Algebras. 134-151 - Walter Guttmann, Bernhard Möller:
A Hierarchy of Algebras for Boolean Subsets. 152-168 - Simon Foster, Jonathan Julián Huerta y Munive, Georg Struth:
Differential Hoare Logics and Refinement Calculi for Hybrid Systems with Isabelle/HOL. 169-186 - Yoshihiro Maruyama:
Higher-Order Categorical Substructural Logic: Expanding the Horizon of Tripos Theory. 187-203 - Yoshiki Nakamura:
Expressive Power and Succinctness of the Positive Calculus of Relations. 204-220 - Koki Nishizawa, Shin-ya Katsumata, Yuichi Komorida:
Stone Dualities from Opfibrations. 221-236 - Koki Nishizawa, Koji Yasuda, Hitoshi Furusawa:
Preorders, Partial Semigroups, and Quantales. 237-252 - Santiago Quintero, Sergio Ramírez, Camilo Rueda, Frank Valencia:
Counting and Computing Join-Endomorphisms in Lattices. 253-269 - Pedro Ribeiro:
A Unary Semigroup Trace Algebra. 270-285 - Luigi Santocanale:
The Involutive Quantaloid of Completely Distributive Lattices. 286-301 - Lucca Tiemens, Dana S. Scott, Christoph Benzmüller, Miroslav Benda:
Computer-Supported Exploration of a Categorical Axiomatization of Modeloids. 302-317 - Michael Winter:
Sharpness in the Fuzzy World. 318-334
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-04-30 21:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
