Zoekresultaten
Resultaat 1 - 1 (van 1)
F. Kamareddine | R. Bloo | R.P. Nederpelt Characterizing →l⇋-terms with equal reduction behavior
Non-fictie
Engels | 12 pagina's | Technische Universiteit Eindhoven, Department of Mathematics and Computing Science, Eindhoven | 2000
Gedrukt boek