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, Frauenworth, Germany, April 7-11, 2008 : proceedings / [electronic resource] : RelMiCS/AKA 2008 Rudolf Berghammer, Bernhard Moller, Georg Struth (eds.). - Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008. - x, 396 p. : ill., digital ; 24 cm. - Lecture notes in computer science, 4988 0302-9743 ; LNCS sublibrary. SL 1, Theoretical computer science and general issues .

Includes bibliographical references and index.



9783540789130 (electronic bk.) 9783540789123 (paper)


Algebraic logic--Congresses.
Computer science--Mathematics--Congresses.
Computer Science.
Artificial Intelligence (incl. Robotics)

004.03