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 /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Berghammer, Rudolf (Editor), Möller, Bernhard (Editor), Struth, Georg (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
• Series: Lecture Notes in Computer Science, 4988
• Subjects: Computer science.; Software engineering.; Mathematical logic.; Computer science > Mathematics.; Artificial intelligence.; Computer Science.; Mathematical Logic and Formal Languages.; Symbolic and Algebraic Manipulation.; Artificial Intelligence (incl. Robotics).; Software Engineering.