Term matching on parallel computers
- 31 May 1989
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 6 (3) , 213-228
- https://doi.org/10.1016/0743-1066(89)90014-9
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Optimal speedups for parallel pattern matching in treesPublished by Springer Nature ,1987
- Parallel algorithms for term matchingPublished by Springer Nature ,1986
- Optimal parallel generation of a computation tree formACM Transactions on Programming Languages and Systems, 1985
- On the sequential nature of unificationThe Journal of Logic Programming, 1984
- Parallel Generation of Postfix and Tree FormsACM Transactions on Programming Languages and Systems, 1983
- Parallel algorithms for the connected components and minimal spanning tree problemsInformation Processing Letters, 1982
- Pattern Matching in TreesJournal of the ACM, 1982
- Computing connected components on parallel computersCommunications of the ACM, 1979
- Linear unificationJournal of Computer and System Sciences, 1978
- The Parallel Evaluation of General Arithmetic ExpressionsJournal of the ACM, 1974