Author of the publication

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

Yet Another Intelligent Backtracking Method., , and . ICLP/SLP, page 447-465. MIT Press, (1988)Guarded Constructive Disjunction: Angel or Demon?, and . CP, volume 976 of Lecture Notes in Computer Science, page 345-361. Springer, (1995)Finite Domain Constraints in the ML Functional Language., , and . ICTAI, page 784-787. IEEE Computer Society, (1994)A Very Intelligent Backtracking Method for Logic Programs., , and . ESOP, volume 213 of Lecture Notes in Computer Science, page 315-326. Springer, (1986)Abstract Interpretation for Concurrent Logic Languages., , and . NACLP, page 215-232. MIT Press, (1990)Abduction and Concurrent Logic Languages., and . ECAI, page 75-79. John Wiley and Sons, Chichester, (1994)A Generalized Semantics for Concurrent Constraint Languages and their Abstract Interpretation., and . Constraint Processing, Selected Papers, volume 923 of Lecture Notes in Computer Science, page 39-49. Springer, (1995)Non-deterministic Stream AND-Parallelism Based on Intelligent Backtracking., and . ICLP, page 63-79. MIT Press, (1989)Backtracking intelligent en programmation logique., , and . SPLT, page 25-50. (1986)Abstract Interpretation from Prolog to Concurrent Prolog., , and . SPLT, page 351-370. (1990)