Pages that link to "Item:Q1163369"
From MaRDI portal
The following pages link to Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs (Q1163369):
Displaying 8 items.
- Two theorems about the completeness of Hoare's logic (Q794426) (← links)
- Expressiveness and the completeness of Hoare's logic (Q800082) (← links)
- The axiomatic semantics of programs based on Hoare's logic (Q800712) (← links)
- Weakly expressive models for Hoare logic (Q805248) (← links)
- Some questions about expressiveness and relative completeness in Hoare's logic (Q1064046) (← links)
- Some general incompleteness results for partial correctness logics (Q1110500) (← links)
- Hoare's logic and Peano's arithmetic (Q1170877) (← links)
- Fifty years of Hoare's logic (Q2280214) (← links)
