The following pages link to (Q3690195):
Displayed 6 items.
- Worst-case analysis of the set-union problem with extended backtracking (Q1124334) (← links)
- Relevant logic programming (Q1181715) (← links)
- On Completeness of Logic Programs (Q2949713) (← links)
- LOGIC DERIVATION OF PARALLEL LINEAR EQUATION SYSTEM SOLVERS WITHIN ELIMINATION STRATEGY (Q4820031) (← links)
- VIRTUAL SHARED MEMORY MACHINES— AN APPLICATION OF PVM∗ (Q4820127) (← links)
- Correctness and Completeness of Logic Programs (Q5277919) (← links)