Complementation of Coalgebra Automata

Christian Kissig, Yde Venema. Complementation of Coalgebra Automata. In Alexander Kurz, Marina Lenisa, Andrzej Tarlecki, editors, Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings. Volume 5728 of Lecture Notes in Computer Science, pages 81-96, Springer, 2009. [doi]

Authors

Christian Kissig

This author has not been identified. Look up 'Christian Kissig' in Google

Yde Venema

This author has not been identified. Look up 'Yde Venema' in Google