Model-Theoretic Properties of ω-Automatic Structures

Jan 1, 2014·
Faried Abu Zaid
,
Erich Grädel
,
Lukasz Kaiser
,
Wied Pakusa
· 0 min read
Abstract
This article investigates the model-theoretic properties of ω-automatic structures, providing new results and characterizations in the field of logic and computer science.
Type
Publication
Theory Comput. Syst.
Automatic Structures Model Theory