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
- DOI: 10.4230/LIPIcs.CSL.2016.19
- REPORT NUMBER: RWTH-CONV-211653