Relations and kleene algebra in computer science 11th International Conference on Relational Methods in Computer Science, Relmics 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009 Doha, Qatar, november, 2009 : proceedings - International Seminar on Relational Methods in Computer Science 2009 : Doha, Qatar); Berghammer, Rudolf; Moller, Bernhard; Jaoua, Ali Mohamed; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009)
Keywords: Relation algebras -- Congresses; Algebraic logic -- Congresses; Computer science -- Mathematics -- Congresses; Discrete Mathematics in Computer Science; Symbolic and Algebraic Manipulation; Order, Lattices, Ordered Algebraic Structures; Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Algebra