Model-Theoretic Properties of ω-Automatic Structures

Faried Abu Zaid, Erich Grädel, Lukasz Kaiser, Wied Pakusa. Model-Theoretic Properties of ω-Automatic Structures. Theory Comput. Syst., 55(4):856-880, 2014. [doi]

Abstract

Abstract is missing.