Automata on infinite objects (0)

by Wolfgang Thomas
Venue:Handbook of Theoretical Computer Science, volume B