The search result changed since you submitted your search request. Documents might be displayed in a different sort order.
  • search hit 1088 of 1182
Back to Result List

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

Export metadata

Additional Services

Share in X 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

OPUS4 Logo