Primitive program algebras. II

DOI10.1007/BF01075117zbMath0593.03025MaRDI QIDQ3722486

D. B. Buy, V. N. Red'ko

Publication date: 1985

Published in: Cybernetics (Search for Journal in Brave)

zbMATH Keywords

minimizationprimitive recursionpartial recursive functionsunderivabilitymany-placed functions

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Computability and recursion theory on ordinals, admissible sets, etc. (03D60) Abstract and axiomatic computability and recursion theory (03D75)

Cites Work

• Unnamed Item

This page was built for publication: Primitive program algebras. II