Pages that link to "Item:Q4603427"
From MaRDI portal
The following pages link to Logic + control: On program construction and verification (Q4603427):
Displaying 5 items.
- Backjumping is Exception Handling (Q4957217) (← links)
- The Prolog Debugger and Declarative Programming (Q5097636) (← links)
- On Correctness and Completeness of an <i>n</i> Queens Program (Q6063871) (← links)
- A relaxed condition for avoiding the occur-check (Q6076347) (← links)
- A note on occur-check (Q6647307) (← links)
