Bases for algebras of recursive functions

DOI10.1007/BF01044488zbMath0189.00902OpenAlexW2074463801MaRDI QIDQ2537464

I. A. Lavrov, E. A. Polyakov

Publication date: 1966

Published in: Siberian Mathematical Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01044488

zbMATH Keywords

recursion theory, constructive mathematics

Related Items (2)

On the subalgebras of R. Robinson's algebras ⋮ Classes of algebras of primitive recursive functions

Cites Work

• Unnamed Item
• Primitive Recursive Functions. II
• Primitive recursive functions
• General Recursive Functions

This page was built for publication: Bases for algebras of recursive functions