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
Identifikationsnummern
- DOI: 10.1007/s00224-013-9508-6
- REPORT NUMBER: RWTH-CONV-088977