Parallel bounded quantification—preliminary results
ACM SIGPLAN Notices
Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
Exploitation of Fine-grain Parallelism in Logic Languages on Massively Parallel Architectures
PACT '94 Proceedings of the IFIP WG10.3 Working Conference on Parallel Architectures and Compilation Techniques
Hi-index | 0.00 |