Model-Theoretic Properties of ω-Automatic Structures

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

New York, NY : Springer (2014)
Journal Article

In: Theory of computing systems
Volume: 55
Issue: 4
Page(s)/Article-Nr.: 856-880

Identifier