Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August/September, 2006 : proceedings - International Seminar on Relational Methods in Computer Science 2006 : Manchester, England); Schmidt, Renate A.; SpringerLink (Online service) (Berlin Heidelberg : Springer-Verlag GmbH., 2006)
Keywords: Algebraic logic -- Congresses; Computer science -- Mathematics -- Congresses