Sciweavers

CALCO
2009
Springer
176views Mathematics» more  CALCO 2009»
13 years 11 months ago
Complementation of Coalgebra Automata
Abstract. Coalgebra automata, introduced by the second author, generalize the well-known automata that operate on infinite words/streams, trees, graphs or transition systems. This...
Christian Kissig, Yde Venema