Pages that link to "Item:Q1133312"
From MaRDI portal
The following pages link to The formal termination problem for programs with finite ALGOL 68-modes (Q1133312):
Displaying 4 items.
- Wythoff games, continued fractions, cedar trees and Fibonacci searches (Q761983) (← links)
- Correctness of programs with Pascal-like procedures without global variables (Q790607) (← links)
- On termination problems for finitely interpreted ALGOL-like programs (Q1161274) (← links)
- On the complexity of some problems concerning the use of procedures. II (Q1169277) (← links)
