Automata and fixed point logic: a coalgebraic perspective (0)

by Y Venema
Venue:Information and Computation