Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time

Saarbrücken/Wadern / Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing (2016) [Buchbeitrag, Beitrag zu einem Tagungsband]

Computer science logic 2016 : CSL 2016, August 29 to September 1, 2016, Marseille, France / edited by Laurent Regnier, Jean-Marc Talbot
Seite(n): 19:1-19:17

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Pakusa, Wied
Schalthöfer, Svenja
Selman, Aziz Erkal

Identifikationsnummern

Quellen