Universal unification and a classification of equational theories

Bibliographische Detailangaben

1. Verfasser:	Siekmann, Jörg H. (VerfasserIn)
Format:	UnknownFormat
Sprache:	ger
Veröffentlicht:	Karlsruhe 1982
Schriftenreihe:	Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht 1982,7
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!