Fu, Ming Quan; Zucker, Jeffery Models of computation for partial functions on the reals. (English) Zbl 1320.68079 J. Log. Algebr. Methods Program. 84, No. 2, 218-237 (2015). MSC: 68Q05 03D75 03D78 PDFBibTeX XMLCite \textit{M. Q. Fu} and \textit{J. Zucker}, J. Log. Algebr. Methods Program. 84, No. 2, 218--237 (2015; Zbl 1320.68079) Full Text: DOI
Xie, Bo; Fu, Ming Quan; Zucker, Jeffery Characterizations of semicomputable sets of real numbers. (English) Zbl 1307.68028 J. Log. Algebr. Methods Program. 84, No. 1, 124-154 (2015). MSC: 68N30 68N15 68Q05 03D78 08A70 68Q65 PDFBibTeX XMLCite \textit{B. Xie} et al., J. Log. Algebr. Methods Program. 84, No. 1, 124--154 (2015; Zbl 1307.68028) Full Text: DOI