Climbing up the Elementary Complexity Classes with Theories of Automatic Structures

Dagstuhl, Germany / Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018) [Buchbeitrag, Beitrag zu einem Tagungsband]

27th EACSL Annual Conference on Computer Science Logic (CSL 2018) / Herausgeber: Dan Ghica, Achim Jung
Seite(n): 3:1-3:16

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Abu Zaid, Faried
Kuske, Dietrich
Lindner, Peter

Identifikationsnummern