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 1-5, 2009 : proceedings. : RelMiCS 11 : AKA 6 : RelMiCS/AKA09 : Nov 2009, Doha, Qatar. (Lecture Notes in Computer Science ; 5827)
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 1-5, 2009 : proceedings. : RelMiCS 11 : AKA 6 : RelMiCS/AKA09 : Nov 2009, Doha, Qatar.