Contraction algebras and unification of (infinite) terms☆
Under an Elsevier user license
open archive
Cited by (0)
- ☆
Partially supported by the National Institute for Scientific and Technical Creation under Contract CNST-1412.
Copyright © 1992 Published by Elsevier Inc.