| Amalgamation Property for Varieties of BL-algebras Generated by One Chain with Finitely Many Components
|
2021 |
Aguzzoli, Stefano |
| Effect Algebras, Girard Quantales and Complementation in Separation Logic
|
2021 |
Bannister, Callum |
| Experimental Investigation of Sufficient Criteria for Relations to Have Kernels
|
2021 |
Berghammer, Rudolf |
| Abstract Strategies and Coherence
|
2021 |
Calk, Cameron |
| £r-Multisemigroups, Modal Quantales and the Origin of Locality
|
2021 |
Calk, Cameron |
| Deciding FO-definability of Regular Languages
|
2021 |
Kurucz, Agi |
| Skew Metrics Valued in Sugihara Semigroups
|
2021 |
Santocanale, Luigi |
| Change of Base Using Arrow Categories
|
2021 |
Winter, Michael |
| Automated Reasoning for Probabilistic Sequential Programs with Theorem Proving
|
2021 |
Ye, Kangfeng |
| Accretive Computation of Global Transformations
|
2021 |
Fernandez, Alexandre |
| Isolated Sublattices and Their Application to Counting Closure Operators
|
2021 |
Glück, Roland |
| Second-Order Properties of Undirected Graphs
|
2021 |
Guttmann, Walter |
| Relational Sums and Splittings in Categories of L-fuzzy Relations
|
2021 |
Winter, Michael |
| Domain Range Semigroups and Finite Representations
|
2021 |
Šemri, Jaš |
| The Class of Representable Semilattice-Ordered Monoids Is Not a Variety
|
2021 |
Doumane, Amina |
| Algorithmic Correspondence for Relevance Logics, Bunched Implication Logics, and Relation Algebras via an Implementation of the Algorithm PEARL
|
2021 |
Conradie, Willem |
| Some Modal and Temporal Translations of Generalized Basic Logic
|
2021 |
Fussner, Wesley |
| Relation-Algebraic Verification of Borüvka’s Minimum Spanning Tree Algorithm
|
2021 |
Guttmann, Walter |
| Relational Models for the Lambek Calculus with Intersection and Unit
|
2021 |
Kuznetsov, Stepan L. |
| Polyadic Spaces and Profinite Monoids
|
2021 |
Marqués, Jérémie |
Tag hinzufügen