Definability of Cai-Frer-Immerman Problems in Choiceless Polynomial Time.

Wied Pakusa, Svenja Schalthfer, Erkal Selman

Browse the full CSL paper archive.