default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID20th RAMiCS 2023: Augsburg, Germany
- Roland Glück
, Luigi Santocanale, Michael Winter:
Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings. Lecture Notes in Computer Science 13896, Springer 2023, ISBN 978-3-031-28082-5 - Stefano Aguzzoli, Matteo Bianchi:
Amalgamation Property for Some Varieties of BL-Algebras Generated by One Finite Set of BL-Chains with Finitely Many Components. 1-16 - Jeremy F. Alm, David Andrews, Michael Levet:
Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture. 17-33 - Rudolf Berghammer, Michael Winter:
A General Method for Representing Sets of Relations by Vectors. 34-51 - Nasos Evangelou-Oost, Callum Bannister, Ian J. Hayes:
Contextuality in Distributed Systems. 52-68 - José Gil-Férez, Peter Jipsen, Siddhartha Lodhia:
The Structure of Locally Integral Involutive Po-monoids and Semirings. 69-86 - Roland Glück:
Compatibility of Refining and Controlling Plant Automata with Bisimulation Quotients. 87-104 - Walter Guttmann:
Dependences Between Domain Constructions in Heterogeneous Relation Algebras. 105-121 - Mark Hopkins, Hans Leiß:
Normal Forms for Elements of the *-continuous Kleene Algebras $K\mathop {\otimes _\mathcal{R}}C_2'$. 122-139 - Peter Jipsen, Jas Semrl:
Representable and Diagonally Representable Weakening Relation Algebras. 140-157 - Tobias Kappé:
Completeness and the Finite Model Property for Kleene Algebra, Reconsidered. 158-175 - Laura Kovács, Anton Varonka:
What Else is Undecidable About Loops? 176-193 - Andrew Lewis-Smith, Jas Semrl:
Implication Algebras and Implication Semigroups of Binary Relations. 194-207 - Igor Sedlár:
On the Complexity of Kleene Algebra with Domain. 208-223 - Arman Shamsgovara:
Enumerating, Cataloguing and Classifying All Quantales on up to Nine Elements. 224-240 - Chris Heunen, Jesse Sigal:
Duoidally Enriched Freyd Categories. 241-257 - Baltasar Trancón y Widemann, Markus Lepper:
Towards a Theory of Conversion Relations for Prefixed Units of Measure. 258-273 - Michael Winter:
Relational Algebraic Approach to the Real Numbers the Additive Group. 274-292
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 2024-10-08 20:42 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:
