Skip to main content

Generalising Automaticity to Model Properties of Finite Structures

Anuj Dawar and Stephan Kreutzer

Journal
Theoretical Computer Science
Number
1−2
Pages
266 – 285
Volume
379
Year
2007