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 |
| Date of the Publication (Server): | 2012/12/18 |
| Length: | 47 S. : graph. Darst. |
| Note: | (Ulmer Informatik-Berichte ; 92,7) |
| Institutes: | FH Aachen / Fachbereich Elektrotechnik und Informationstechnik |
