9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings
Reihentitel:
Lecture Notes in Computer Science
Bandnummer Reihe:
4136
Konferenztitel:
Relational and Kleene-Algebraic Methods in Computer Science (9., 2006, Manchester)
Konferenztitel:
Relations and Kleene Algebra in Computer Science 2006