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)
Buchbeitrag, Beitrag zu einem Tagungsband
In: 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015) : Kyoto, Japan, 6 - 10 July 2015
Seite(n)/Artikel-Nr.: 677-688
Identifikationsnummern
- DOI: 10.1109/LICS.2015.68
- RWTH PUBLICATIONS: RWTH-CONV-210852