Erich Grädel, Wied Pakusa, Svenja Schalthofer, Lukasz Kaiser
Characterising Choiceless Polynomial Time with First-Order Interpretations
LICS, 2015.
@inproceedings{LICS-2015-GradelPSK, author = "Erich Grädel and Wied Pakusa and Svenja Schalthofer and Lukasz Kaiser", booktitle = "{Proceedings of the 30th Annual ACM/IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2015.68", isbn = "978-1-4799-8875-4", pages = "677--688", publisher = "{IEEE}", title = "{Characterising Choiceless Polynomial Time with First-Order Interpretations}", year = 2015, }