Design of a Resolution Multiprocessor for the Parallel Virtual Machine.
VenueBICLP
Year1994
ProceedingsICLP Workshop: Process-Based Parallel Logic Programming
DBLP recordconf/iclp/Taylor94 ↗
Browse the full ICLP paper archive.
Browse the full ICLP paper archive.