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:
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 |