Comparing Hierarchies of Primitive Recursive Sequence Functions

DOI10.1002/MALQ.19820282705zbMath0497.03031OpenAlexW1997775866MaRDI QIDQ3960678

Andrea Maggiolo-Schettini, Emanuela Fachini

Publication date: 1982

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19820282705

zbMATH Keywords

decision problemshierarchiesloop-programs

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Complexity of computation (including implicit computational complexity) (03D15) Recursive functions and relations, subrecursive hierarchies (03D20) General topics in the theory of software (68N01) Theory of computing (68Q99)

Related Items (3)

Primitive iteration and unary functions ⋮ A hierarchy of loop programs over binary trees ⋮ Hierarchies of primitive recursive wordsequence functions: Comparisons and decision problems

This page was built for publication: Comparing Hierarchies of Primitive Recursive Sequence Functions