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

New York, NY / Association for Computing Machinery (2018) [Fachzeitschriftenartikel]

ACM transactions on computational logic : TOCL
Band: 19
Ausgabe: 2
Seite(n): 7

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

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

Identifikationsnummern