Pages that link to "Item:Q1077925"

The following pages link to AND parallelism and nondeterminism in logic programs (Q1077925):

Displaying 7 items.

• Multi-valued logic programming semantics An algebraic approach (Q673383) (← links)
• Transforming generate-and-test programs to execute under committed-choice AND-parallelism (Q914360) (← links)
• 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)
• The implementation of a distributed model for logic programming based on multiple-headed clauses (Q1198092) (← links)
• Semantics of distributed definite clause programs (Q1262747) (← links)
• Path for AND-parallel execution of logic programs (Q1341682) (← links)