Climbing up the Elementary Complexity Classes with Theories of Automatic Structures
Abu Zaid, Faried; Kuske, Dietrich; Lindner, Peter
Dagstuhl, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018)
Buchbeitrag, Beitrag zu einem Tagungsband
In: 27th EACSL Annual Conference on Computer Science Logic (CSL 2018) / Herausgeber: Dan Ghica, Achim Jung
Seite(n)/Artikel-Nr.: 3:1-3:16
Identifikationsnummern
- DOI: 10.4230/LIPIcs.CSL.2018.3
- RWTH PUBLICATIONS: RWTH-2018-231828