TY - DATA AU - Berghammer,Rudolf AU - Möller,Bernhard AU - Struth,Georg ED - SpringerLink (Online service) TI - 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 T2 - Lecture Notes in Computer Science, SN - 9783540789130 AV - QA10 B47 2008 PY - 2008/// CY - Berlin, Heidelberg PB - Springer-Verlag Berlin Heidelberg KW - Computer science KW - Software engineering KW - Algebra KW - Data processing KW - Artificial intelligence KW - Computer Science KW - Mathematical Logic and Formal Languages KW - Symbolic and Algebraic Manipulation KW - Artificial Intelligence (incl. Robotics) KW - Software Engineering UR - http://dx.doi.org/10.1007/978-3-540-78913-0 ER -