Pages that link to "Item:Q1170877"
From MaRDI portal
The following pages link to Hoare's logic and Peano's arithmetic (Q1170877):
Displaying 6 items.
- Proving program inclusion using Hoare's logic (Q789887) (← links)
- Average case optimality for linear problems (Q796299) (← links)
- The axiomatic semantics of programs based on Hoare's logic (Q800712) (← links)
- Completeness of Hoare logic with inputs over the standard model (Q896915) (← links)
- Completeness of Hoare Logic Relative to the Standard Model (Q2971129) (← links)
- Reasoning in Dynamic Logic about Program Termination (Q5452190) (← links)
