scientific article; zbMATH DE number 3506659
From MaRDI portal
Publication:4087154
Cited in
(10)- scientific article; zbMATH DE number 3623543 (Why is no real title available?)
- Sequence-to-sequence recursiveness
- 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
- Primitive iteration and unary functions
- Computable stack functions for semantics of stack programs
- Closure functions and general iterates as reflectors
- Sequence recursiveness without cylindrification and limited register machines
- General iteration and 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)
