Parallel Algorithms for Term Matching

This publication has 13 references indexed in Scilit:

• A theory of type polymorphism in programming
  Published by Elsevier ,2003
• On the sequential nature of unification
  The Journal of Logic Programming, 1984
• On the Asymptotic Complexity of Matrix Multiplication
  SIAM Journal on Computing, 1982
• Probabilistic algorithm for testing primality
  Journal of Number Theory, 1980
• Equations and Rewrite Rules: A Survey
  Published by Elsevier ,1980
• Linear unification
  Journal of Computer and System Sciences, 1978
• Parallelism in random access machines
  Published by Association for Computing Machinery (ACM) ,1978
• The circuit value problem is log space complete for P
  ACM SIGACT News, 1975
• A Machine-Oriented Logic Based on the Resolution Principle
  Journal of the ACM, 1965
• Minimal identities for algebras
  Proceedings of the American Mathematical Society, 1950