Parallelizing Tabled Evaluations
暂无分享，去创建一个
Rui Hu | Juliana Freire | David Scott Warren | Terrance Swift | D. Warren | T. Swift | J. Freire | Rui Hu
[1] I. V. Ramakrishnan,et al. Efficient Tabling Mechanisms for Logic Programs , 1995, ICLP.
[2] Bart Demoen,et al. Analysing Logic Programs Using 'Prop'-ositional Logic Programs and a Magic Wand , 1993, ILPS.
[3] David Scott Warren,et al. Query evaluation under the well-founded semantics , 1993, PODS.