Model-Theoretic Properties of ω-Automatic Structures

Faried Abu Zaid
Erich Grädel
Lukasz Kaiser
Wied Pakusa
Theory Comput. Syst., 55(2014), pp. 856-880
Google Scholar

Abstract