A universal unification algorithm based on unification driven leftmost outermost narrowing
| Verfasserangaben: | Heinz Faßbender, Heiko Vogler |
|---|---|
| Verlag: | Univ. Ulm, Fak. für Informatik |
| Verlagsort: | Ulm |
| Dokumentart: | Buch (Monographie) |
| Sprache: | Englisch |
| Erscheinungsjahr: | 1992 |
| Datum der Publikation (Server): | 18.12.2012 |
| Umfang: | 47 S. : graph. Darst. |
| Bemerkung: | (Ulmer Informatik-Berichte ; 92,7) |
| Fachbereiche und Einrichtungen: | FH Aachen / Fachbereich Elektrotechnik und Informationstechnik |
