Generalising Automaticity to Modal Properties of Finite Structures

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