Complex indeterminates in Prolog and its application to discourse models
New Generation Computing
Making exhaustive search programs deterministic
Proceedings on Third international conference on logic programming
Proceedings of the 4th conference on Logic programming '85
The role of logic programming in the fifth generation computer project
New Generation Computing
The parallel software research and development tool: multi-PSI system
Proceedings of the first Franco-Japanese Symposium on Programming of future generation computers
CAL: A theoretical background of constraint logic programming and its applications
Journal of Symbolic Computation
A multi-level load balancing scheme for OR-parallel exhaustive search programs on the multi-PSI
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Design of the kernel language for the parallel inference machine
The Computer Journal - On concurrent logic programming
SATCHMO: A Theorem Prover Implemented in Prolog
Proceedings of the 9th International Conference on Automated Deduction
A relational language for parallel programming
FPCA '81 Proceedings of the 1981 conference on Functional programming languages and computer architecture
Concurrent constraint programming languages
Concurrent constraint programming languages
Parallel logic programming systems
ACM Computing Surveys (CSUR)
Reasoning about knowledge in distributed systems using datalog
Datalog 2.0'12 Proceedings of the Second international conference on Datalog in Academia and Industry
| Hi-index | 48.22 |