Computational Issues in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees

Author(s):  
Yao Wu ◽  
Enrico Pontelli ◽  
Desh Ranjan
1990 ◽  
Author(s):  
John Burge ◽  
Bill Noah ◽  
Les Smith

Sign in / Sign up

Export Citation Format

Share Document