scientific article; zbMATH DE number 3506659
From MaRDI portal
Publication:4087154
zbMath0324.02025MaRDI QIDQ4087154
Andrea Maggiolo-Schettini, Giorgio Germano
Publication date: 1973
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (10)
Primitive iteration and unary functions ⋮ Computable stack functions for semantics of stack programs ⋮ Unnamed Item ⋮ Sequence recursiveness without cylindrification and limited register machines ⋮ General iteration and unary functions ⋮ Succinct iterative characterizations of primitive computable unary functions ⋮ Proving a compiler correct: A simple approach ⋮ Sequence-to-sequence recursiveness ⋮ Closure functions and general iterates as reflectors ⋮ Hierarchies of primitive recursive wordsequence functions: Comparisons and decision problems
This page was built for publication:
