TY -
GEN
AU - Pago, Benedikt
AU - Grädel, Erich
AU - Dawar, Anuj
TI -
Limitations of choiceless computation
PB - Universitätsbibliothek der RWTH Aachen
KW - Hochschulschrift
PY - 2023
BT - Aachen ; RWTH Aachen University, 2023
CY - Aachen
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -