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)
Contribution to a book, Contribution to a conference proceedings

In: 27th EACSL Annual Conference on Computer Science Logic (CSL 2018) / Herausgeber: Dan Ghica, Achim Jung
Page(s)/Article-Nr.: 3:1-3:16

Institutions

• UnRAVeL Research Training Group [080060]
• Department of Computer Science [120000]
• Chair of Computer Science 7 (Logic and Theory of Discrete Systems) [122910]