Unification of stratified second-order terms

Bibliographische Detailangaben

1. Verfasser:	Schmidt-Schauss, Manfred (VerfasserIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Frankfurt Main Fachbereich Informatik, Univ. 1994
Schriftenreihe:	Interner Bericht / Fachbereich Informatik, Universität Frankfurt 12/94
Schlagworte:	Bericht
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!