Author of the publication

Distributed Programming and Disjunctive Programming.

, , and . Workshop on Design and Impl. of Parallel Logic Programming Systems, page 120-129. (1994)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

A Constraint Sequent Calculus, and . LICS, page 52-61. IEEE Computer Society, (1990)A Constraint Sequent Calculus., and . WCLP, page 33-43. MIT Press, (1991)Constraint Logic Programming and Option Trading., , and . IEEE Expert, 2 (3): 42-50 (1987)Simplification and Elimination of Redundant Linear Arithmetic Constraints., , and . WCLP, page 73-87. MIT Press, (1991)Decision Procedures for Constraint Based Extensions of Datalog., and . WCLP, page 17-32. MIT Press, (1991)Randomization in Backtrack Search: Exploiting Heavy-Tailed Profiles for Solving Hard Scheduling Problems., , , and . AIPS, page 208-213. AAAI, (1998)Stratified Interactive Knowledge Bases., and . ISMIS, page 408-415. North-Holland/Elsevier, (1987)Independence of Negative Constraints., and . TAPSOFT, Vol.1, volume 351 of Lecture Notes in Computer Science, page 19-27. Springer, (1989)Parallel Integer Goal Programming., , and . ACM Conference on Computer Science, page 42-47. ACM, (1995)Efficient Parallel Algorithms for Anti-Unification and Relative Complement, , , and . LICS, page 112-120. IEEE Computer Society, (1988)