The following pages link to (Q4172933):
Displaying 6 items.
- Expressive power of typed and type-free programming languages (Q761790) (← links)
- A polynomial determination of the most-recent property in Pascal-like programs (Q1095643) (← links)
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars (Q1098322) (← links)
- The formal termination problem for programs with finite ALGOL 68-modes (Q1133312) (← links)
- The IO- and OI-hierarchies (Q1161273) (← links)
- On termination problems for finitely interpreted ALGOL-like programs (Q1161274) (← links)
