The following pages link to (Q3854596):
Displaying 4 items.
- Semantics of algorithmic languages (Q760200) (← links)
- Wythoff games, continued fractions, cedar trees and Fibonacci searches (Q761983) (← links)
- Correctness of programs with Pascal-like procedures without global variables (Q790607) (← links)
- Algebraic solutions to recursion schemes (Q1098617) (← links)