Pages that link to "Item:Q5277919"
From MaRDI portal
The following pages link to Correctness and Completeness of Logic Programs (Q5277919):
Displaying 6 items.
- Proving completeness of logic programs with the cut (Q511027) (← links)
- On Completeness of Logic Programs (Q2949713) (← links)
- On definite program answers and least Herbrand models (Q4593038) (← links)
- Logic + control: On program construction and verification (Q4603427) (← links)
- The Prolog Debugger and Declarative Programming (Q5097636) (← links)
- On Correctness and Completeness of an <i>n</i> Queens Program (Q6063871) (← links)
