Program-closed classes of general recursive functions and predicates of finite rank

zbMath0833.03015MaRDI QIDQ1902762

V. D. Solov'ev

Publication date: 14 December 1995

Published in: Russian Mathematics (Search for Journal in Brave)

zbMATH Keywords

functional systemprogram schemesgeneral recursive functionsfinitely generated closed classes of finite rankgeneral recursive predicates

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

This page was built for publication: Program-closed classes of general recursive functions and predicates of finite rank