A universal unification algorithm based on unification-driven leftmost outermost narrowing
Verfasserangaben: | Heinz Faßbender, Heiko Vogler |
---|---|
ISBN: | 0324-721x |
Titel des übergeordneten Werkes (Englisch): | Acta Cybernetica. 11 (1994), H. 3 |
Dokumentart: | Wissenschaftlicher Artikel |
Sprache: | Englisch |
Erscheinungsjahr: | 1994 |
Datum der Publikation (Server): | 18.12.2012 |
Erste Seite: | 139 |
Letzte Seite: | 167 |
Fachbereiche und Einrichtungen: | FH Aachen / Fachbereich Elektrotechnik und Informationstechnik |