Searching for "Executing Bounded Quantifications on Shared Memory Multiprocessors." – sorted by Relevance.
-
Data-parallel Implementation of Prolog
- Quantifications on Shared Memory Multiprocessors, In Proc. PLILP'93, Springer LNCS 714, 1993. VI. Jonas Barklund
- Add To MetaCart

