The following pages link to (Q3040481):
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)
- Ernst-Rüdiger Olderog: A Life for Meaning (Q3449620) (← links)
- Complexity of proving program correctness (Q5096233) (← links)