Pages that link to "Item:Q1838825"
From MaRDI portal
The following pages link to On the notion of expressiveness and the rule of adaptation (Q1838825):
Displaying 11 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 the completeness of modular proof systems (Q917327) (← links)
- Some questions about expressiveness and relative completeness in Hoare's logic (Q1064046) (← links)
- A sharp proof rule for procedures in WP semantics (Q1104730) (← links)
- Some general incompleteness results for partial correctness logics (Q1110500) (← links)
- Hoare's logic and VDM (Q1805402) (← links)
- Hoare's logic for nondeterministic regular programs: A nonstandard approach (Q1822934) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
- A proof outline logic for object-oriented programming (Q2571207) (← links)
- Being and Change: Reasoning About Invariance (Q3449632) (← links)
