Generalising Automaticity to Modal Properties of Finite Structures

Библиографические подробности
Главные авторы: Dawar, A, Kreutzer, S
Формат: Conference item
Опубликовано: Springer 2002