Decision times of infinite computations

Philipp Schlicht , Philip D Welch, Merlin Carl

Research output: Contribution to journal › Article (Academic Journal) › peer-review

Original language	English
Journal	Notre Dame Journal of Formal Logic
Publication status	Submitted - 12 Nov 2020

Cite this

@article{c9359542684f4dd5b79214c9727523e2,

title = "Decision times of infinite computations",

author = "Philipp Schlicht and Welch, {Philip D} and Merlin Carl",

year = "2020",

month = nov,

day = "12",

language = "English",

journal = "Notre Dame Journal of Formal Logic",

issn = "0029-4527",

publisher = "Notre Dame University Press",

}