Comparing Hierarchies of Primitive Recursive Sequence Functions

DOI10.1002/MALQ.19820282705MaRDI QIDQ3960678zbMATH OpenOpenAlexFDO

Authors Emanuela Fachini, Andrea Maggiolo-Schettini

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)

Cited in

(3)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3960678)