Title of article :
A Remark on Infinite Matching vs Infinite Unification
Author/Authors :
BENEDETTO INTRIGILA، نويسنده , , Enrico Tronci and Marisa Venturini Zilli ، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 1996
Abstract :
In this note we refine a result in Berarducci and VenturiniZilli (1993), by showing that the limit of iterations of a matching gives rise to the most general unifying substitution.
Journal title :
Journal of Symbolic Computation
Journal title :
Journal of Symbolic Computation
