Characterising Choiceless Polynomial Time with First-Order Interpretations
In 30th Annual ACM/IEEE Symposium on Logic in Computer Science. 2015 S. 677 - 688
Erscheinungsjahr: 2015
Publikationstyp: Buchbeitrag
Sprache: Englisch
| Geprüft: | Bibliothek |
Klassifikation
DDC Sachgruppe:
Mathematik
