Parallel Bounded Quantifiers - Preliminary Results.
Henrik Arro, Jonas Barklund, Johan Bevemyr
VenueBICLP
Year1992
ProceedingsIJCSLP Workshop on Concurrent and Parallel Implementations
DBLP recordconf/iclp/ArroBB92 ↗
Browse the full ICLP paper archive.