RAMiCS

Keyphrases

Publications

2023

Peter Jipsen, Jas Semrl
Representable and Diagonally Representable Weakening Relation Algebras. RAMiCS (2023)
Arman Shamsgovara
Enumerating, Cataloguing and Classifying All Quantales on up to Nine Elements. RAMiCS (2023)
Andrew Lewis-Smith, Jas Semrl
Implication Algebras and Implication Semigroups of Binary Relations. RAMiCS (2023)
Baltasar Trancón y Widemann, Markus Lepper
Towards a Theory of Conversion Relations for Prefixed Units of Measure. RAMiCS (2023)
Laura Kovács, Anton Varonka
What Else is Undecidable About Loops? RAMiCS (2023)
Jeremy F. Alm, David Andrews, Michael Levet
Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture. RAMiCS (2023)
Mark Hopkins, Hans Leiß
-continuous Kleene Algebras $K\mathop {\otimes _\mathcal{R}}C_2'$. RAMiCS (2023)
Rudolf Berghammer, Michael Winter
A General Method for Representing Sets of Relations by Vectors. RAMiCS (2023)
Igor Sedlár
On the Complexity of Kleene Algebra with Domain. RAMiCS (2023)
Roland Glück
Compatibility of Refining and Controlling Plant Automata with Bisimulation Quotients. RAMiCS (2023)
Michael Winter
Relational Algebraic Approach to the Real Numbers the Additive Group. RAMiCS (2023)
Walter Guttmann
Dependences Between Domain Constructions in Heterogeneous Relation Algebras. RAMiCS (2023)
Tobias Kappé
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered. RAMiCS (2023)
Stefano Aguzzoli, Matteo Bianchi
Amalgamation Property for Some Varieties of BL-Algebras Generated by One Finite Set of BL-Chains with Finitely Many Components. RAMiCS (2023)
José Gil-Férez, Peter Jipsen, Siddhartha Lodhia
The Structure of Locally Integral Involutive Po-monoids and Semirings. RAMiCS (2023)
Chris Heunen, Jesse Sigal
Duoidally Enriched Freyd Categories. RAMiCS (2023)
Nasos Evangelou-Oost, Callum Bannister, Ian J. Hayes
Contextuality in Distributed Systems. RAMiCS (2023)

volume 13896, 2023

Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings RAMiCS 13896 (2023)

2021

volume 13027, 2021

Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings RAMiCS 13027 (2021)

2020

Manuel Bodirsky, Simon Knäuer
Hardness of Network Satisfaction for Relation Algebras with Normal Representations. RAMiCS (2020)

volume 12062, 2020

Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Palaiseau, France, April 8-11, 2020, Proceedings [postponed]. RAMiCS 12062 (2020)