Logic Programming and Parallel Complexity

This publication has 27 references indexed in Scilit:

• An amateur's introduction to recursive query processing strategies
  ACM SIGMOD Record, 1986
• Horn clause queries and generalizations
  The Journal of Logic Programming, 1985
• A taxonomy of problems with fast parallel algorithms
  Information and Control, 1985
• On the sequential nature of unification
  The Journal of Logic Programming, 1984
• On the Asymptotic Complexity of Matrix Multiplication
  SIAM Journal on Computing, 1982
• Contributions to the Theory of Logic Programming
  Journal of the ACM, 1982
• Alternation
  Journal of the ACM, 1981
• Variations on the Common Subexpression Problem
  Journal of the ACM, 1980
• Global inductive definability
  The Journal of Symbolic Logic, 1978
• A relational model of data for large shared data banks
  Communications of the ACM, 1970