Choiceless Computation and Symmetry: Limitations of Definability
Pago, Benedikt Thomas (Corresponding author)
Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2021) [Contribution to a book, Contribution to a conference proceedings]
[29th EACSL Annual Conference on Computer Science Logic, CSL 2021]
Identifier
- DOI: 10.4230/LIPICS.CSL.2021.33
- REPORT NUMBER: RWTH-2021-00550