Relations and Kleene algebra in computer science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Alg...

Autor International Conference on Relational Methods in Computer Science, Schmidt, Renate.
Vydáno 2006.

Relations and Kleene algebra in computer science 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene...

Autor International Conference on Relational Methods in Computer Science, Berghammer, R., Möller, Bernhard, Struth, Georg., International Workshop on Applications of Kleene Algebra
Vydáno c2008