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

by Achim Blumensath, Erich Grädel
Venue:Theory Comput. Syst