| Title: |
Multiple OR-Parallel Resolution: Meta-Level Control of Parallel Logic Programs |
| Author(s): |
P. Kefalas, I. Vlahavas.
|
| Availability: |
|
| Keywords: |
|
| Appeared in: |
Proc. Parallel Processing (Euro-Par '96), Bouge, P. Fraigniaud, A. Mignotte and Y. Robert (Eds.), Springer-Verlag, LNCS 1123, pp. 694-703, 1996.
|
| Abstract: |
|
| See also : |
|
This paper has been cited by the following:
| 1 |
W Zhang Clause Expansion Proof Systems for Propositional Formulas |
|
