A universal unification algorithm based on unification-driven leftmost outermost narrowing
Author: | Heinz Faßbender, Heiko Vogler |
---|---|
ISBN: | 0324-721x |
Parent Title (English): | Acta Cybernetica. 11 (1994), H. 3 |
Document Type: | Article |
Language: | English |
Year of Completion: | 1994 |
Date of the Publication (Server): | 2012/12/18 |
First Page: | 139 |
Last Page: | 167 |
Institutes: | FH Aachen / Fachbereich Elektrotechnik und Informationstechnik |