Closure properties of coalgebra automata (0)

by C Kupke, Y Venema
Venue:in: LICS 2005 [1