scientific article; zbMATH DE number 3506659
From MaRDI portal
Publication:4087154
zbMATH Open0324.02025MaRDI QIDQ4087154FDOQ4087154
Authors: Andrea Maggiolo-Schettini, G. M. Germano
Publication date: 1973
Title of this publication is not available (Why is that?)
Cited In (10)
- Primitive iteration and unary functions
- Computable stack functions for semantics of stack programs
- Sequence recursiveness without cylindrification and limited register machines
- General iteration and unary functions
- Sequence-to-sequence recursiveness
- Title not available (Why is that?)
- Closure functions and general iterates as reflectors
- Hierarchies of primitive recursive wordsequence functions: Comparisons and decision problems
- Proving a compiler correct: A simple approach
- Succinct iterative characterizations of primitive computable unary functions
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4087154)