Abstract
In this paper we introduce the concept of linear equation of symbols in the context of p-tangles, we obtain several “linear results” and we apply this results to address a possible algebraic description of the unification algorithm.
Get full access to this article
View all access options for this article.