| |
| 2003 | ||
|---|---|---|
| 2 | EE | Ulrich Berger, Matthias Eberl, Helmut Schwichtenberg: Term rewriting for normalization by evaluation. Inf. Comput. 183(1): 19-42 (2003) |
| 1998 | ||
| 1 | EE | Ulrich Berger, Matthias Eberl, Helmut Schwichtenberg: Normalisation by Evaluation. Prospects for Hardware Foundations 1998: 117-137 |
| 1 | Ulrich Berger | [1] [2] |
| 2 | Helmut Schwichtenberg | [1] [2] |