A universal unification algorithm based on unification-driven leftmost outermost narrowing

Export metadata

Additional Services

Share in Twitter Search Google Scholar
Metadaten
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