Berghammer, Rudolf.
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 Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 4988 0302-9743 ; . - Lecture Notes in Computer Science, 4988 .
9783540789130
10.1007/978-3-540-78913-0 doi
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.
QA8.9-QA10.3
005.131
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 Berlin Heidelberg, 2008. - digital. - Lecture Notes in Computer Science, 4988 0302-9743 ; . - Lecture Notes in Computer Science, 4988 .
9783540789130
10.1007/978-3-540-78913-0 doi
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.
QA8.9-QA10.3
005.131