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

Authors

  • Heinz Fassbender
  • Heiko Vogler

Downloads

Download data is not yet available.

Downloads

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

Issue

Section

Regular articles