Pages that link to "Item:Q1137385"
From MaRDI portal
The following pages link to Computable stack functions for semantics of stack programs (Q1137385):
Displayed 8 items.
- Succinct iterative characterizations of primitive computable unary functions (Q672834) (← links)
- Closure functions and general iterates as reflectors (Q808275) (← links)
- Sequence recursiveness without cylindrification and limited register machines (Q1154263) (← links)
- General iteration and unary functions (Q1182467) (← links)
- Completeness problems in classes of computable named functions (Q3033303) (← links)
- Primitive program algebras of computable functions (Q3802614) (← links)
- Computable functions in tabular databases (Q4005342) (← links)
- Mutual derivability of operations in program algebras. I (Q5750388) (← links)