Choiceless Logarithmic Space

Grädel, Erich (Corresponding author); Schalthöfer, Svenja (Corresponding author)

Saarbrücken/Wadern, Germany : Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing (2019)
Buchbeitrag, Beitrag zu einem Tagungsband

In: 44th International Symposium on Mathematical Foundations of Computer Science : MFCS 2019, August 26-30, 2019, Aachen, Germany / edited by Peter Rossmanith, Pinar Heggernes, Joost-Pieter Katoen
Seite(n)/Artikel-Nr.: 31:1-31:15

Einrichtungen

• Fachgruppe Mathematik [110000]
• Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) [117220]