Residuals in higher-order rewriting

Bibliographische Detailangaben

1. Verfasser:	Bruggink, H. J. Sander (VerfasserIn)
Format:	Buch
Sprache:	English
Veröffentlicht:	Utrecht Dep. of Philosophy, Utrecht Univ. 2003
Schriftenreihe:	Logic Group preprint series 221
Schlagworte:	Mathematische Logik
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!