Pages that link to "Item:Q4603427"
From MaRDI portal
The following pages link to Logic + control: On program construction and verification (Q4603427):
Displaying 12 items.
- Logic control and ``reactive'' systems: algorithmization and programming (Q1778317) (← links)
- Controlling Program Extraction in Light Logics (Q3007661) (← links)
- (Q3725519) (← links)
- (Q4513579) (← links)
- (Q4878775) (← links)
- Backjumping is Exception Handling (Q4957217) (← links)
- The Prolog Debugger and Declarative Programming (Q5097636) (← links)
- Logic and Control (Q5425361) (← links)
- On Correctness and Completeness of an <i>n</i> Queens Program (Q6063871) (← links)
- A relaxed condition for avoiding the occur-check (Q6076347) (← links)
- On correctness of normal logic programs (Q6103020) (← links)
- A note on occur-check (Q6647307) (← links)