Generalising Automaticity to Modal Properties of Finite Structures

Bibliografiset tiedot
Päätekijät: Dawar, A, Kreutzer, S
Aineistotyyppi: Conference item
Julkaistu: Springer 2002