Termination of higher-order rewrite systems = Terminatie van hogere-orde herschrijfsystemen

Zugl.: Utrecht, Univ., Diss., 1996

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Pol, Jan Cornelis van der (VerfasserIn)
Weitere Verfasser:	Pol, Jaco van de (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Utrecht Univ. Utrecht, Faculteit Wijsbegeerte 1996
Schriftenreihe:	Quaestiones infinitae 16
Schlagworte:	Hochschulschrift
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!