Process Semantics for Resolution.
A. Lopes, Jos Flix Costa, Danilo Montesi
VenueBICLP
Year1994
ProceedingsICLP Workshop: Process-Based Parallel Logic Programming
DBLP recordconf/iclp/LopesCM94 ↗
Browse the full ICLP paper archive.
A. Lopes, Jos Flix Costa, Danilo Montesi
Browse the full ICLP paper archive.