Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings / [electronic resource] :
edited by Renate A. Schmidt.
- Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.
- v.: digital
- Lecture Notes in Computer Science, 4136 0302-9743 .
9783540378747
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