# Hendrik C. R. Lock

According to our database

Collaborative distances:

^{1}, Hendrik C. R. Lock authored at least 13 papers between 1991 and 1998.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

1998

Sci. Comput. Program., 1998

Integrating Constraint Propagation in Complete Solving of Linear Diophantine Systems.

Proceedings of the Principles of Declarative Programming, 10th International Symposium, 1998

1997

Comput. Lang., 1997

1995

Co-ordinating Parallel Computation through Equational Constraints.

Proceedings of the 11. Workshop Logische Programmierung, 1995

Using Constraint Logic Programming for Industrial Scheduling Problems.

Proceedings of the Logic Programming: Formal Methods and Practical Applications, 1995

1994

Proceedings of the Programming Language Implementation and Logic Programming, 1994

Proceedings of the Integration of Declarative Paradigms, 1994

1993

PhD thesis, 1993

Residuation with Type Constraints is Complete.

Proceedings of the 9. Workshop Logische Programmierung, 1993

1991

Microprocessing and Microprogramming, 1991

Proceedings of the TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1991

Proceedings of the Programming Language Implementation and Logic Programming, 1991

Proceedings of the Declarative Programming, 1991