10th International Conference on Relational Methods in Computer Science/5th International Workshop on Applications of Kleene Algebra Conference

Scholarly Activity

related documents

Determinisation of Relational Substitutions in Ordered Categories with Domain Conferences