Generalising Automaticity to Model Properties of Finite Structures

Bibliographic Details
Main Authors: Dawar, A, Kreutzer, S
Format: Journal article
Published: 2007