Finite presentations of infinite structures: Automata and interpretations (0)

by A Blumensath, E Grädel
Venue:Theory of Computing Systems