|
|||||
|
|
Taming Koepke's Zoo II: Register machines |
|
| Institution: | Institut für mathematische, naturwissenschaftliche und technische Bildung, Abteilung für Mathematik und ihre Didaktik, Europa-Universität Flensburg, Germany |
| Abstract: | |
| Keywords: | Infinite Time Register Machines ITRMs Ordinal computability Constructibility Set theory |
| 本文献已被 ScienceDirect 等数据库收录！ | |