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) [Journal Article]

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

Identifier