Characterising Choiceless Polynomial Time with First-Order Interpretations
Piscataway, NJ / IEEE (2015) [Buchbeitrag, Beitrag zu einem Tagungsband]
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2015) : Kyoto, Japan, 6 - 10 July 2015
Seite(n): 677-688
Autorinnen und Autoren
Autorinnen und Autoren
Grädel, Erich
Pakusa, Wied
Schalthöfer, Svenja
Kaiser, Lukasz
Identifikationsnummern
- DOI: 10.1109/LICS.2015.68
- REPORT NUMBER: RWTH-CONV-210852