| |
| 2004 | ||
|---|---|---|
| 7 | EE | 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 | |
| 1 | J. F. Th. Kamperman | [3] [4] [5] [6] |
| 2 | Hans Zantema | [2] |