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

Dagstuhl, Germany / Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik (2016) [Beitrag zu einem Tagungsband]

25th EACSL Annual Conference on Computer Science Logic (CSL 2016)

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Pakusa, Wied
Schalthöfer, Svenja
Selman, Erkal