Definability of Cai-Fürer-Immerman Problems in Choiceless Polynomial Time
Pakusa, Wied (Corresponding author); Schalthöfer, Svenja; Selman, Aziz Erkal
New York, NY : Association for Computing Machinery (2018)
Journal Article
In: ACM transactions on computational logic : TOCL
Volume: 19
Issue: 2
Page(s)/Article-Nr.: 7
Identifier
- DOI: 10.1145/3154456
- RWTH PUBLICATIONS: RWTH-2018-227067