14th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS) Conference

Scholarly Activity

related documents

A Mechanised Abstract Formalisation of Concept Lattices Conferences
Endowing Concurrent Kleene Algebra with Communication Actions Conferences