Generalising Automaticity to Modal Properties of Finite Structures

Bibliografische gegevens
Hoofdauteurs: Dawar, A, Kreutzer, S
Formaat: Conference item
Gepubliceerd in: Springer 2002