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, Frauenwörth, Germany, April 7-11, 2008. Proceedings / [electronic resource] :
edited by Rudolf Berghammer, Bernhard Möller, Georg Struth.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008.
- v.: digital
- Lecture Notes in Computer Science, 4988 0302-9743 .
9783540789130
Computer science Software engineering Algebra--Data processing Artificial intelligence Computer Science Mathematical Logic and Formal Languages Symbolic and Algebraic Manipulation Artificial Intelligence (incl. Robotics) Software Engineering