Advice Automatic Structures and Uniformly Automatic Classes
Abu Zaid, Faried (Corresponding author); Grädel, Erich (Corresponding author); Reinhardt, Frédéric (Corresponding author)
Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing (2017)
Buchbeitrag, Beitrag zu einem Tagungsband
In: Computer Science Logic 2017 : CSL 2017, August 20-24, 2017, Stockholm, Sweden / edited by Valentin Goranko, Mads Dam ; European Association for Computer Science Logic (EACSL)
Seite(n)/Artikel-Nr.: [1]-20
Einrichtungen
- Fachgruppe Mathematik [110000]
- Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) [117220]
Identifikationsnummern
- DOI: 10.4230/LIPIcs.CSL.2017.35
- DOI: 10.18154/RWTH-2017-06840
- RWTH PUBLICATIONS: RWTH-2017-06840