Characterising Choiceless Polynomial Time with First-Order Interpretations

Washington, DC, USA / IEEE Computer Society (2015) [Beitrag zu einem Tagungsband]

Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)

Autorinnen und Autoren

Ausgewählte Autorinnen und Autoren

Gradel, Erich
Pakusa, Wied
Schalthofer, Svenja
Kaiser, Lukasz

Identifikationsnummern