Decision Times of Infinite Computations (2022)
Attributed to:
Graphs on Generalised Baire Spaces
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Digital Object Identifier: http://dx.doi.org/10.1215/00294527-2022-0012
Publication URI: https://api.elsevier.com/content/abstract/scopus_id/85133497399
Type: Journal Article/Review
Parent Publication: Notre Dame Journal of Formal Logic
Issue: 2