Jump to Content

Model-Theoretic Properties of ω-Automatic Structures

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

Abstract