Computable stack functions for semantics of stack programs (Q1137385)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Computable stack functions for semantics of stack programs |
scientific article; zbMATH DE number 3667978
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computable stack functions for semantics of stack programs |
scientific article; zbMATH DE number 3667978 |
Statements
Computable stack functions for semantics of stack programs (English)
0 references
1979
0 references
programs
0 references
stack machines
0 references
algebraic characterization of computable functions
0 references
repetition operators
0 references
partial recursive functions
0 references
Church's thesis
0 references
0 references
0 references
