Pages that link to "Item:Q1161274"

The following pages link to On termination problems for finitely interpreted ALGOL-like programs (Q1161274):

Displaying 4 items.

• Reasoning about procedures as parameters in the language L4 (Q583874) (← links)
• Wythoff games, continued fractions, cedar trees and Fibonacci searches (Q761983) (← links)
• Correctness of programs with Pascal-like procedures without global variables (Q790607) (← links)
• Fifty years of Hoare's logic (Q2280214) (← links)