Pages that link to "Item:Q5674992"
From MaRDI portal
The following pages link to Subrecursive Programming Languages, Part I (Q5674992):
Displaying 13 items.
- A survey of state vectors (Q458456) (← links)
- Indexings of subrecursive classes (Q1140080) (← links)
- The independence of control structures in abstract programming systems (Q1155949) (← links)
- Some simplified undecidable and NP-hard problems for simple programs (Q1157168) (← links)
- The logical meaning of programs of a subrecursive language (Q1222017) (← links)
- Polynomial and abstract subrecursive classes (Q1227276) (← links)
- Predecessor machines (Q1394128) (← links)
- Elementary functions and loop programs (Q1903128) (← links)
- Subrecursive program schemata I P II. I: Undecidable equivalence problems. II: Decidable equivalence problems (Q2559259) (← links)
- A note on the complexity of program evaluation (Q3319774) (← links)
- Safe programming (Q4155807) (← links)
- A local termination property for term rewriting systems (Q5055724) (← links)
- Read/write factorizable programs (Q6113488) (← links)
