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

by Y Venema
Venue:Information and Computation 204 (2006) 637–678. hal-00346782, version 1 - 12 Dec 2008