A Macro Program for the Primitive Recursive Functions

DOI10.1002/MALQ.19910370803MaRDI QIDQ3982860zbMATH OpenOpenAlexFDO

Authors Hilbert Levitz, Warren D. Nichols, Robert F. Smith

Publication date 26 June 1992

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19910370803

zbMATH Keywords

macroprimitive recursive functionsrecursive universal function

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Recommendations

• Eine Rekursive Universelle Funktion Für Die Primitiv-Rekursiven Funktionen
• scientific article; zbMATH DE number 3849210
• Logic Programs for Primitive Recursive Sets
• A representation theorem for primitive recursive algorithms
• About primitive recursive algorithms

Cited in

(2)

• scientific article; zbMATH DE number 3849210 (Why is no real title available?)
• Eine Rekursive Universelle Funktion Für Die Primitiv-Rekursiven Funktionen

This page was built for publication: A Macro Program for the Primitive Recursive Functions

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