The unification problem for distributive terms

Bibliographische Detailangaben

Hauptverfasser:	Szabo, P. (VerfasserIn), Unvericht, E. (VerfasserIn)
Format:	Buch
Sprache:	Undetermined
Veröffentlicht:	Karlsruhe 1978
Schriftenreihe:	Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht 78,13
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!