For advanced search options you can also view this in the Forschungsinformationssystem of the TU Dresden.

Faßbender, H. ; Vogler, Heiko
A universal unification algorithm based on unification-driven leftmost outermost narrowing
Typ der Veröffentlichung
Zeitschriftenaufsatz
Veröffentlicht in
Acta Cybernet.
Jahrgang/Erscheinungsjahr
1994
Band/Vol.
11
Seiten
139-167
Referiert
Nein
Berichtsjahr
1994
Export
Stand: 18.06.2018 10:15 Uhr