Generalising Automaticity to Modal Properties of Finite Structures

Dettagli Bibliografici
Autori principali: Dawar, A, Kreutzer, S
Natura: Conference item
Pubblicazione: Springer 2002