RAMiCS C

18 papers

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