Model-Theoretic Properties of ω-Automatic Structures
New York, NY / Springer (2014) [Fachzeitschriftenartikel]
Theory of computing systems
Band: 55
Ausgabe: 4
Seite(n): 856-880
Autorinnen und Autoren
Autorinnen und Autoren
Abu Zaid, Faried
Grädel, Erich
Kaiser, Lukasz
Pakusa, Wied
Identifikationsnummern
- DOI: 10.1007/s00224-013-9508-6
- REPORT NUMBER: RWTH-CONV-088977