Jaroslav Je\v{z}ek

Jaroslav Je\v{z}ek
A note on finite sets of terms closed under subterms and unification

Comment.Math.Univ.Carolinae 37,3 (1996) 657-658.

Abstract:The paper contains two remarks on finite sets of groupoid terms closed under subterms and the application of unifying pairs.

Keywords: terms, unification
AMS Subject Classification: 08B05