Constructively nonpartial recursive functions

DOI10.1305/NDJFL/1093883046MaRDI QIDQ1252237zbMATH OpenOpenAlexFDO

Authors 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

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

Cited in

(1)

• Productive sets and constructively nonpartial-recursive functions

This page was built for publication: Constructively nonpartial recursive functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1252237)