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

Heinz Fassbender; Heiko Vogler

Skip to main content Skip to main navigation menu Skip to site footer

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

Heinz Fassbender
Heiko Vogler

Downloads

Download data is not yet available.

PDF

Published

1994-01-01

How to Cite

Fassbender, H., & Vogler, H. (1994). A universal unification algorithm based on unification-driven leftmost outermost narrowing. Acta Cybernetica, 11(3), 139-167. Retrieved from https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/3426

Download Citation

Issue

Vol 11 No 3 (1994)

Section

Regular articles

Most read articles by the same author(s)

Armin Kühnemann, Heiko Vogler, A pumping lemma for output languages of attributed tree transducers , Acta Cybernetica: Vol 11 No 4 (1994)
Reinhard Pöschel, Aleksander Semigrodskij, Heiko Vogler, Relationally defined clones of tree functions closed under selection or primitive recursion , Acta Cybernetica: Vol 16 No 3 (2004)
Manfred Droste, Heiko Vogler, Preface , Acta Cybernetica: Vol 19 No 2 (2009)
Manfred Droste, Heiko Vogler, Preface , Acta Cybernetica: Vol 20 No 2 (2011)