Title of article
A Remark on Infinite Matching vs Infinite Unification
Author/Authors
BENEDETTO INTRIGILA، نويسنده , , Enrico Tronci and Marisa Venturini Zilli ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1996
Pages
4
From page
289
To page
292
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
Serial Year
1996
Journal title
Journal of Symbolic Computation
Record number
805135
Link To Document