PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Lock, Hendrik C. R."

Author of the publication

copydeleteadd this publication to your clipboard
Co-ordinating Parallel Computation through Equational Constraints.

, , , and . WLP, page 123-132. (1995)

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.

R. Leister

R. Koerner

R. Watty

Andreas Löcklin University of Stuttgart

Ralf Locke University of Stuttgart

 

Other publications of authors with the same name

GOFFIN: Higher-Order Functions Meet Concurrent Constraints., , , and . Sci. Comput. Program., 30 (1-2): 157-199 (1998)Improving Search for Job-Shop Scheduling with CLP(FD)., and . PLILP, volume 844 of Lecture Notes in Computer Science, page 277-291. Springer, (1994)Exploiting Non-Determinism through Laziness in Guarded Functional Languages., and . TAPSOFT, Vol.2, volume 494 of Lecture Notes in Computer Science, page 201-216. Springer, (1991)Co-ordinating Parallel Computation through Equational Constraints., , , and . WLP, page 123-132. (1995)The Implementation of Lazy Narrowing., and . PLILP, volume 528 of Lecture Notes in Computer Science, page 123-134. Springer, (1991)The implementation of functional logic programming languages.. Technical University of Berlin, Germany, (1993)Integrating Constraint Propagation in Complete Solving of Linear Diophantine Systems., and . PLILP/ALP, volume 1490 of Lecture Notes in Computer Science, page 463-480. Springer, (1998)Towards the Uniform Implementation of Declarative Languages., and . Comput. Lang., 23 (2-4): 121-160 (1997)The JUMP-machine: A Generic Basis for the Integration of Declarative Paradigms., and . ICLP Workshop: Integration of Declarative Paradigms, page 61-75. Max-Planck-Institut für Informatik, Saarbrücken, Germany, (1994)Using Constraint Logic Programming for Industrial Scheduling Problems., and . Logic Programming: Formal Methods and Practical Applications, Elsevier Science B.V./North-Holland, (1995)