Relations and kleene algebra in computer science [E-Book] : 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008 : proceedings / ed. by R. Berghammer ...
Berghammer, R., (editor)
Berlin : Springer, 2008
online resource
9783540789130 (e-book)
Lecture notes in computer science ; 4988
Full Text
Description not available.