Finite Presentations of Infinite Structures: Automata and Interpretations (2002)

by Achim Blumensath , Erich Grädel
Venue:Theory of Computing Systems
Citations:42 - 3 self