Pages that link to "Item:Q1252031"
From MaRDI portal
The following pages link to Recursive assertions are not enough - or are they? (Q1252031):
Displaying 4 items.
- Some general incompleteness results for partial correctness logics (Q1110500) (← links)
- Recursive assertions and parallel programs (Q1140981) (← links)
- Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs (Q1163369) (← links)
- Completeness of Hoare Logic Relative to the Standard Model (Q2971129) (← links)