On computable numbers with an application to the AlanTuringproblem
Crossref DOI link: https://doi.org/10.1007/s10506-017-9200-2
Published Online: 2017-05-13
Published Print: 2017-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Huws, C. F.
Finnis, J. C.
License valid from 2017-05-13