related documents Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets Conferences Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015 Braga, Portugal, September 28-October 1, 2015 Proceedings Conferences
