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 29 - September2, 2006, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Renate Schmidt
Themen in »Relations and Kleene Algebra in Computer Science«
Kleene algebras artificial intelligence calculus complexity cylindric algebras formal languages formal method formal methods logic mathematical logics refinement relational algebras relational proof theory relational representation verification
Stimmen zu »Relations and Kleene Algebra in Computer Science«
Details
ISBN: 9783540378747
Verlag: Springer Berlin
Erscheinung: 04.10.2006