Model-Theoretic Properties of ω-Automatic Structures

New York, NY / Springer (2014) [Journal Article]

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

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Abu Zaid, Faried
Grädel, Erich
Kaiser, Lukasz
Pakusa, Wied

Identifikationsnummern

  • ISSN: 1432-4350
  • ISSN: 1433-0490