DOI10.1145/321356.321367zbMath0173.01202OpenAlexW2135953485MaRDI QIDQ5559249
Philip K. Hooper
Publication date: 1966 Published in: Journal of the ACM (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1145/321356.321367
zbMATH Keywords
recursion theory, constructive mathematics
Related Items