scientific article; zbMATH DE number 3349781
From MaRDI portal
Publication:5625130
zbMath0221.02019MaRDI QIDQ5625130
Publication date: 1971
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Recursive functions and relations, subrecursive hierarchies (03D20) Theory of numerations, effectively presented structures (03D45) Abstract and axiomatic computability and recursion theory (03D75)
Related Items
Effective applicative structures, Construction of models for algebraically generalized recursive function theory, Descriptive characterizations of computational complexity, Embeddings between partial combinatory algebras, Proof-theoretical analysis: Weak systems of functions and classes, Some applications of computable one-one numberings
