Characterising Choiceless Polynomial Time with First-Order Interpretations

Piscataway, NJ / IEEE (2015) [Contribution to a book, Contribution to a conference proceedings]

2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015) : Kyoto, Japan, 6 - 10 July 2015
Page(s): 677-688

Authors

Selected Authors

Grädel, Erich
Pakusa, Wied
Schalthöfer, Svenja
Kaiser, Lukasz

Identifier