Decision times of infinite computations

Research output: Contribution to journalArticle (Academic Journal)peer-review

Original languageEnglish
JournalNotre Dame Journal of Formal Logic
Publication statusSubmitted - 12 Nov 2020

Cite this