AND parallelism and nondeterminism in logic programs
- 1 March 1985
- journal article
- Published by Springer Nature in New Generation Computing
- Vol. 3 (1), 43-70
- https://doi.org/10.1007/bf03037115
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Parallel interpretation of logic programsPublished by Association for Computing Machinery (ACM) ,1981
- A relational language for parallel programmingPublished by Association for Computing Machinery (ACM) ,1981
- Performance of a Simulated Dataflow ComputerIEEE Transactions on Computers, 1980
- Abstraction and verification in AlphardCommunications of the ACM, 1977
- The Semantics of Predicate Logic as a Programming LanguageJournal of the ACM, 1976
- A semantic model for a language processorPublished by Association for Computing Machinery (ACM) ,1967