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, Frauenwörth, Germany, April 7-11, 2008, Proceedings

Authors :: Rudolf Berghammer
Bernhard Möller
Georg Struth
Rudolf Berghammer
Bernhard Möller
Georg Struth
Publication Year :: 2008

Subjects :: Algebraic logic--Congresses
Relation algebras--Congresses
Computer science--Mathematics--Congresses

Language :: English
ISBNs :: 9783540789123 and 9783540789130
Volume :: 04988
Database :: eBook Index
Journal :: 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, Frauenwörth, Germany, April 7-11, 2008, Proceedings
Publication Type :: eBook
Accession number :: 2535787

Tools