H. R. Walters

	2004
7		H. R. Walters: Structuring professional cooperation. Information & Software Technology 46(6): 415-421 (2004)
	1996
6		H. R. Walters, J. F. Th. Kamperman: EPIC: An Equational Language -Abstract Machine Supporting Tools-. RTA 1996: 424-427
	1995
5		J. F. Th. Kamperman, H. R. Walters: Minimal Term Rewriting Systems. COMPASS/ADT 1995: 274-290
4		H. R. Walters, J. F. Th. Kamperman: A Model for I/O in Equational Languages with Don't Care Non-determinism. COMPASS/ADT 1995: 522-535
3		J. F. Th. Kamperman, H. R. Walters: Lazy Rewriting and Eager Machinery. RTA 1995: 147-162
2		H. R. Walters, Hans Zantema: Rewrite Systems for Integer Arithmetic. RTA 1995: 324-338
	1990
1		H. R. Walters: Hybrid Implementations of Algebraic Specifications. ALP 1990: 40-54

Coauthor Index

1	J. F. Th. Kamperman	[3] [4] [5] [6]
2	Hans Zantema	[2]

Colors in the list of coauthors