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

In: [29th EACSL Annual Conference on Computer Science Logic, CSL 2021]

Identifier