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 |
