1 |
| Nebel, Bernhard Nebel (ed.) |
| |
4 |
| Nieuwenhuis, Robert (ed.) |
| |
| | 1996 | Krishna Rao, M. R. K. | Wirsing, Martin
Nivat, Maurice | | Some characteristics of strong innermost normalization
In: Algebraic Methodology and Software Technology, 5th International Conference, AMAST '96, 406-420 | Proceedings Article | |
| | 1994 | [Brink, Chris]
[Britz, Katarina]
Schmidt, Renate A. | Nivat, Maurice
Rattray, Charles
Rus, Teodor
Scollo, Guiseppe | | Peirce Algebras: Extended Abstract
In: Proceedings of the 3rd International Conference on Algebraic Methodology and Software Technology (AMAST '93), 163-166 | Proceedings Article | |