Relations and kleene algebra in computer science

Descrição: The book constitutes the joint refereed proceedings of the 9th International Conference on Relational Methods in Co... Veja mais