| 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 |
| On Tools for Completeness of Kleene Algebra with Hypotheses
|
2021 |
Pous, Damien |
| Computing Distributed Knowledge as the Greatest Lower Bound of Knowledge
|
2021 |
Pinzón, Carlos |
| Unary-Determined Distributive £-magmas and Bunched Implication Algebras
|
2021 |
Alpay, Natanael |
| Relational Computation of Sets of Relations
|
2021 |
Berghammer, Rudolf |
| Free Modal Riesz Spaces are Archimedean: A Syntactic Proof
|
2021 |
Lucas, Christophe |
| Time Warps, from Algebra to Algorithms
|
2021 |
Gool, Sam van |
| A Variety Theorem for Relational Universal Alzevura
|
2021 |
Nester, Chad |
| On Algebra of Program Correctness and Incorrectness
|
2021 |
Möller, Bernhard |
| Computing Least and Greatest Fixed Points in Absorptive Semirings
|
2021 |
Naaf, Matthias |
| 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š |
Tag hinzufügen