Logic programming and parallel complexity
- 1 January 1986
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 52 references indexed in Scilit:
- An amateur's introduction to recursive query processing strategiesPublished by Association for Computing Machinery (ACM) ,1986
- Parallel evaluation of recursive rule queriesPublished by Association for Computing Machinery (ACM) ,1985
- Horn clause queries and generalizationsThe Journal of Logic Programming, 1985
- Solving tree problems on a mesh-connected processor arrayPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1985
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- AlternationJournal of the ACM, 1981
- A relational language for parallel programmingPublished by Association for Computing Machinery (ACM) ,1981
- Universality of data retrieval languagesPublished by Association for Computing Machinery (ACM) ,1979
- Global inductive definabilityThe Journal of Symbolic Logic, 1978
- Negation as FailurePublished by Springer Nature ,1978