Equational calculi for Grzegorczyk's classes \(\mathcal E^n\)
From MaRDI portal
Publication:1148314
DOI10.1007/BF01404110zbMath0452.03032OpenAlexW1997510144MaRDI QIDQ1148314
Publication date: 1981
Published in: Journal of Soviet Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01404110
Recursive functions and relations, subrecursive hierarchies (03D20) Applications of computability and recursion theory (03D80)
Cites Work