A universal unification algorithm based on unification driven leftmost outermost narrowing
Author: | Heinz Faßbender, Heiko Vogler |
---|---|
Publisher: | Univ. Ulm, Fak. für Informatik |
Place of publication: | Ulm |
Document Type: | Book |
Language: | English |
Year of Completion: | 1992 |
Length: | 47 S. : graph. Darst. |
Note: | (Ulmer Informatik-Berichte ; 92,7) |
Institutes: | FH Aachen / Fachbereich Elektrotechnik und Informationstechnik |