| Comer Schemes, Relation Algebras, and the Flexible Atom Conjecture
|
2023 |
Alm, Jeremy E. |
| Compatibility of Refining and Controlling Plant Automata with Bisimulation Quotients
|
2023 |
Glück, Roland |
| Duoidally Enriched Freyd Categories
|
2023 |
Heunen, Chris |
| A General Method for Representing Sets of Relations by Vectors
|
2023 |
Berghammer, Rudolf |
| The Structure of Locally Integral Involutive Po-monoids and Semirings
|
2023 |
Gil-Férez, José |
| Towards a Theory of Conversion Relations for Prefixed Units of Measure
|
2023 |
Widemann, Baltasar Trancón y |
| On the Complexity of Kleene Algebra with Domain
|
2023 |
Sedlár, Igor |
| Normal Forms for Elements of the *-continuous Kleene Algebras K OR C2
|
2023 |
Hopkins, Mark |
| Dependences Between Domain Constructions in Heterogeneous Relation Algebras
|
2023 |
Guttmann, Walter |
| Implication Algebras and Implication Semigroups of Binary Relations
|
2023 |
Lewis-Smith, Andrew |
| Enumerating, Cataloguing and Classifying All Quantales on up to Nine Elements
|
2023 |
Shamsgovara, Arman |
| Amalgamation Property for Some Varieties of BL-Algebras Generated by One Finite Set of BL-Chains with Finitely Many Components
|
2023 |
Aguzzoli, Stefano |
| Contextuality in Distributed Systems
|
2023 |
Evangelou-Qost, Nasos |
| Representable and Diagonally Representable Weakening Relation Algebras
|
2023 |
Jipsen, Peter |
| Completeness and the Finite Model Property for Kleene Algebra Reconsidered
|
2023 |
Kappé, Tobias |
| What Else is Undecidable About Loops?
|
2023 |
Kovács, Laura |
| Relational Algebraic Approach to the Real Numbers the Additive Group
|
2023 |
Winter, Michael |
Tag hinzufügen