Characterising Choiceless Polynomial Time with First-Order Interpretations.

Erich Grdel, Wied Pakusa, Svenja Schalthfer, Lukasz Kaiser

Browse the full LICS paper archive.