Model-Theoretic Properties of ω-Automatic Structures

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

Theory of computing systems
Volume: 55
Issue: 4
Page(s): 856-880

Authors

Selected Authors

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

Identifier