Characterising Choiceless Polynomial Time with First-Order Interpretations

Grädel, Erich (Corresponding author); Pakusa, Wied (Corresponding author); Schalthöfer, Svenja (Corresponding author); Kaiser, Lukasz (Corresponding author)

Piscataway, NJ : IEEE (2015)
Contribution to a book, Contribution to a conference proceedings

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


  • Department of Mathematics [110000]
  • Mathematical Fundamentals of Computer Science (Logic and Complexity) Teaching and Research Area [117220]