Relations and Kleene algebra in computer science [electronic resource] : 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 / Rudolf Berghammer, Bernhard Möller, Georg Struth (eds.).

Saved in:
Bibliographic Details
Published: Berlin ; New York : Springer, 2008.
Online Access:
Corporate Authors:
Other Authors:
Series:Lecture notes in computer science ; 4988
LNCS sublibrary. SL 1, Theoretical computer science and general issues
Subjects:
Format: Electronic Conference Proceeding eBook