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 - International Seminar on Relational Methods in Computer Science 2008 : Frauenworth, Germany); Berghammer, R. (Rudolf), 1952-; Moller, Bernhard, 1953-; Struth, Georg; SpringerLink (Online service); International Workshop on Applications of Kleene Algebra 2008 : Frauenworth, Germany) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008)
Includes bibliographical references and index.
Also issued online.
Keywords: Algebraic logic -- Congresses; Computer science -- Mathematics -- Congresses; Computer Science; Artificial Intelligence (incl. Robotics)