A new parallel inference mechanism based on sequential processing
Proc. of the IFIP TC 10 working conference on Fifth generation computer architectures
Parallel logic programming systems
ACM Computing Surveys (CSUR)
Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
Hi-index | 0.00 |