DMCA

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

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