Algebra and Coalgebra in Computer Science
Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Alexander Kurz
Themen in »Algebra and Coalgebra in Computer Science«
Bisimulation C* algebras automata coalgebra automata coinduction convay games distributive ontologies formal methods game theory grammars heyting algebras modeling semantics stone duality verification
Stimmen zu »Algebra and Coalgebra in Computer Science«
Details
ISBN: 9783642037405
Verlag: Springer Berlin
Erscheinung: 28.08.2009