H. R. Walters

According to our database, H. R. Walters authored at least 7 papers between 1990 and 2004.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2004

Structuring professional cooperation.

H. R. Walters

Inf. Softw. Technol., 2004

1996

EPIC: An Equational Language -Abstract Machine Supporting Tools-.

H. R. Walters, J. F. Th. Kamperman

Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996

1995

Rewrite Systems for Integer Arithmetic.

H. R. Walters, Hans Zantema

Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995

Lazy Rewriting and Eager Machinery.

J. F. Th. Kamperman, H. R. Walters

Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995

A Model for I/O in Equational Languages with Don't Care Non-determinism.

H. R. Walters, J. F. Th. Kamperman

Proceedings of the Recent Trends in Data Type Specification, 1995

Minimal Term Rewriting Systems.

J. F. Th. Kamperman, H. R. Walters

Proceedings of the Recent Trends in Data Type Specification, 1995

1990

Hybrid Implementations of Algebraic Specifications.

H. R. Walters

Proceedings of the Algebraic and Logic Programming, 1990