1 citations · 1 across the 6 of their papers we have counts for
1 paper · 1 filter
Katarzyna Słomczyńska
In some varieties of algebras one can reduce the question of finding most general unifiers (mgus) to the problem of the existence of unifiers that fulfill the additional condition…