Publikationsansicht

Confluence and Normalisation of Higher-Order Rewriting (1996)

Details der Publikation

Download	http://hdl.handle.net/1871/11092
Herausgeber	Amsterdam: Vrije Universiteit
Archiv	DSpace at VU (Netherlands)
Typ	Doctoral thesis