Constructively nonpartial recursive functions

DOI10.1305/NDJFL/1093883046zbMath0394.03043OpenAlexW2012510970MaRDI QIDQ1252237

Bruce M. Horowitz

Publication date: 1980

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093883046

zbMATH Keywords

Constructively Nonpartial Recursive FunctionsCreatiProductive Set

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Recursively (computably) enumerable sets and degrees (03D25) Computability and recursion theory (03D99)

Related Items (1)

Productive sets and constructively nonpartial-recursive functions

This page was built for publication: Constructively nonpartial recursive functions