Climbing up the Elementary Complexity Classes with Theories of Automatic Structures.

Faried Abu Zaid, Dietrich Kuske, Peter Lindner

Browse the full CSL paper archive.