๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

A Remark on Infinite Matching vs Infinite Unification

โœ Scribed by BENEDETTO INTRIGILA; MARISA VENTURINI ZILLI

Publisher
Elsevier Science
Year
1996
Tongue
English
Weight
381 KB
Volume
21
Category
Article
ISSN
0747-7171

No coin nor oath required. For personal study only.

โœฆ Synopsis

In this note we refine a result in Berarducci and Venturini Zilli (1993), by showing that the limit of iterations of a matching gives rise to the most general unifying substitution.

๐Ÿ“œ SIMILAR VOLUMES

A remark on infinite arithmetic progress
A remark on infinite arithmetic progressions
โœ H. Lefmann; B. Voigt ๐Ÿ“‚ Article ๐Ÿ“… 1984 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 208 KB

Let Se be a countably family of in&rite subsets of nonnegative integers. Using a diagonal argumpnt it is straight forward to select for each XE& an infinite subset S(X) r~ X such that the family (S(X) 1 XE Se) is disjoint. Also, there exists a mapping A :N --, N such that for every XE & and i EN the

A remark on infinite cyclic covers
A remark on infinite cyclic covers
โœ R.C. Cowsik; G.A. Swarup ๐Ÿ“‚ Article ๐Ÿ“… 1977 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 940 KB