Relations and Kleene algebra in computer science 10th International Conference on Relational Methods in Computer Science and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenworth, Germany, April 7-11, 2008 : proceedings / [electronic resource] :
RelMiCS/AKA 2008
Rudolf Berghammer, Bernhard Moller, Georg Struth (eds.).
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
- x, 396 p. : ill., digital ; 24 cm.
- Lecture notes in computer science, 4988 0302-9743 ; LNCS sublibrary. SL 1, Theoretical computer science and general issues .