Pages that link to "Item:Q5715449"
From MaRDI portal
The following pages link to Proving correctness and completeness of normal programs – a declarative approach (Q5715449):
Displaying 6 items.
- Proving completeness of logic programs with the cut (Q511027) (← links)
- On Completeness of Logic Programs (Q2949713) (← links)
- Logic + control: On program construction and verification (Q4603427) (← links)
- A simple correctness proof for magic transformation (Q4897705) (← links)
- Correctness and Completeness of Logic Programs (Q5277919) (← links)
- On Correctness and Completeness of an <i>n</i> Queens Program (Q6063871) (← links)
