Coalgebraic automata theory: Basic results (0)

by Clemens Kupke, Yde Venema
Venue:Logical Methods in Computer Science