Semi-unification☆
Under an Elsevier user license
open archive
Cited by (0)
- ☆
This paper was presented at the Eight Conference on Foundations of Software Technology and Theoretical Computer Science (Pune, 1988) and selected for publication by K.V. Nori.
- ∗∗
Some of the results reported here are a partial fulfillment of the PhD. requirements of the last author, and will be part of his dissertion.
Copyright © 1991 Published by Elsevier B.V.