1996 | ||
---|---|---|
4 | H. R. Walters, J. F. Th. Kamperman: EPIC: An Equational Language -Abstract Machine Supporting Tools-. RTA 1996: 424-427 | |
1995 | ||
3 | J. F. Th. Kamperman, H. R. Walters: Minimal Term Rewriting Systems. COMPASS/ADT 1995: 274-290 | |
2 | 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 | |
1 | J. F. Th. Kamperman, H. R. Walters: Lazy Rewriting and Eager Machinery. RTA 1995: 147-162 |
1 | H. R. Walters | [1] [2] [3] [4] |