scientific article
From MaRDI portal
Publication:3035278
zbMath0693.03037MaRDI QIDQ3035278
Publication date: 1990
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
primitive recursive arithmeticcomprehensionfirst order arithmeticabstract computabilityset existence principle
Complexity of computation (including implicit computational complexity) (03D15) First-order arithmetic and fragments (03F30) Recursive functions and relations, subrecursive hierarchies (03D20) Metamathematics of constructive systems (03F50) Complexity of proofs (03F20)
Related Items (2)
Finitely stratified polymorphism ⋮ Ramified recurrence and computational complexity. III: Higher type recurrence and elementary complexity
This page was built for publication:
