Model-Theoretic Properties of ω-Automatic Structures

Abu Zaid, Faried (Author); Grädel, Erich (Author); Kaiser, Lukasz (Author); Pakusa, Wied (Author)

New York, NY / Springer (2014) [Fachzeitschriftenartikel]

Theory of computing systems
Band: 55
Ausgabe: 4
Seite(n): 856-880