The following pages link to (Q3732946):
Displaying 6 items.
- An execution model for exploiting AND-parallelism in logic programs (Q1098621) (← links)
- A backtracking algorithm for the stream AND-parallel execution of logic programs (Q1118390) (← links)
- Bounded quantifications for iteration and concurrency in logic programming (Q1326573) (← links)
- (Q4499259) (← links)
- A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism (Q5504687) (← links)
- Parallel Logic Programming: A Sequel (Q6063892) (← links)
