Relation algebraic domain constructions

A relation algebraic semantics for a lazy functional logic language

RelMiCS'08/AKA'08 Proceedings of the 10th international conference on Relational and kleene algebra methods in computer science, and 5th international conference on Applications of kleene algebra

Weak relational products

RelMiCS'06/AKA'06 Proceedings of the 9th international conference on Relational Methods in Computer Science, and 4th international conference on Applications of Kleene Algebra

Relation algebras, matrices, and multi-valued decision diagrams

RAMiCS'12 Proceedings of the 13th international conference on Relational and Algebraic Methods in Computer Science