PARLOG: parallel programming in logic
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
An abstract machine for restricted AND-parallel execution of logic programs
Proceedings on Third international conference on logic programming
Making exhaustive search programs deterministic
Proceedings on Third international conference on logic programming
Logic programming and its applications
Logic programming and its applications
Proceedings of the 4th conference on Logic programming '85
Deadlock-Free Message Routing in Multiprocessor Interconnection Networks
IEEE Transactions on Computers
The role of logic programming in the fifth generation computer project
New Generation Computing
Vulcan: logical concurrent objects
Research directions in object-oriented programming
Concurrent prolog: collected papers
Concurrent prolog: collected papers
Flat parlog: a basis for comparison
International Journal of Parallel Programming
Computation control and protection in the Logix system
Concurrent Prolog: collected papers
Programming in ESP—Experiences with SIMPOS
Proceedings of the first Franco-Japanese Symposium on Programming of future generation computers
Design and performance of a coherent cache for parallel logic programming architectures
ISCA '89 Proceedings of the 16th annual international symposium on Computer architecture
A logic programming language based on the Andorra model
New Generation Computing - Selected papers on parallel logic programming from the International Conference on Fifth Generation Computer Systems, 1988
The Aurora or-parallel Prolog system
New Generation Computing - Selected papers on parallel logic programming from the International Conference on Fifth Generation Computer Systems, 1988
The craft of Prolog
A new implementation technique for flat GHC
Logic programming
A detection algorithm of perpetual suspension in KLI
Logic programming
Kernel Andorra Prolog and its computation model
Logic programming
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
Parallel logic programming
Janus: a step towards distributed constraint programming
Proceedings of the 1990 North American conference on Logic programming
An introduction to parallel programming
An introduction to parallel programming
Communications of the ACM
Communicating sequential processes
Communications of the ACM
Logic Programming
Evaluation of Parallel Copying Garbage Collection on a Shared-Memory Multiprocessor
IEEE Transactions on Parallel and Distributed Systems
LPSS '92 Proceedings of the Second International Logic Programming Summer School on Logic Programming in Action
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
ACM SIGOPS Operating Systems Review
Concurrent constraint programming languages
Concurrent constraint programming languages
Research Frontiers in Object Technology
Information Systems Frontiers
Immersive Observation of Virtualized Soccer Match at Real Stadium Model
ISMAR '03 Proceedings of the 2nd IEEE/ACM International Symposium on Mixed and Augmented Reality
Logic programming in Italy: a historical perspective
A 25-year perspective on logic programming
Hi-index | 48.22 |