학술논문
Choiceless computation and symmetry: Limitations of definability
Document Type
Conference Paper
Author
Source
In: Leibniz International Proceedings in Informatics, LIPIcs , 29th EACSL Annual Conference on Computer Science Logic, CSL 2021. (Leibniz International Proceedings in Informatics, LIPIcs, January 2021, 183)
Subject
Language
English
ISSN
18688969