Automata and fixed point logics: a coalgebraic perspective (2004)

by Yde Venema
Venue:Electronic Notes in Theoretical Computer Science
Citations:15 - 7 self