Extended dynamic dependent and-parallelism in ACE
PASCO '97 Proceedings of the second international symposium on Parallel symbolic computation
Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel symbolic computation in ACE
Annals of Mathematics and Artificial Intelligence
Optimization Schemas for Parallel Implementation of Nondeterministic Languages and Systems
IPPS '97 Proceedings of the 11th International Symposium on Parallel Processing
The Impact of Cache Coherence Protocols on Parallel Logic Programming Systems
CL '00 Proceedings of the First International Conference on Computational Logic
Controlling loops in parallel mercury code
DAMP '12 Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming
Relating data-parallelism and (and-) parallelism in logic programs
Computer Languages
Hi-index | 0.00 |