Choiceless computation and logic

Aachen (2019, 2020) [Dissertation / PhD Thesis]

Page(s): 1 Online-Ressource (182 Seiten) : Illustrationen

Authors

Authors

Schalthöfer, Svenja

Advisors

Grädel, Erich
Dawar, Anuj