TY - BOOK A2 - Berghammer, Rudolf A2 - Jaoua, Ali Mohamed A2 - Möller, Bernhard T1 - 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 Y1 - 2009 UR - https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/58786 SN - 9783642046384 SN - 9783642046391 SN - 0302-9743 SN - 1611-3349 PB - Springer CY - Berlin ER -