Representable and Diagonally Representable Weakening Relation Algebras

Peter Jipsen, Jas Semrl. Representable and Diagonally Representable Weakening Relation Algebras. In Roland Glück, Luigi Santocanale, Michael Winter 0001, editors, Relational and Algebraic Methods in Computer Science - 20th International Conference, RAMiCS 2023, Augsburg, Germany, April 3-6, 2023, Proceedings. Volume 13896 of Lecture Notes in Computer Science, pages 140-157, Springer, 2023. [doi]

Abstract

Abstract is missing.