Model-Theoretic Properties of ω-Automatic Structures

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

New York, NY : Springer (2014)
Fachzeitschriftenartikel

In: Theory of computing systems
Band: 55
Heft: 4
Seite(n)/Artikel-Nr.: 856-880