𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Unification of generalized hybrid analysis and generalized diakoptics

✍ Scribed by Huang Ruji

Book ID
112890785
Publisher
SP Science Press
Year
1986
Tongue
English
Weight
680 KB
Volume
3
Category
Article
ISSN
0217-9822

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Generalizations of Unification
Generalizations of Unification
✍ Alessandro Berarducci; Marisa Venturini Zilli πŸ“‚ Article πŸ“… 1993 πŸ› Elsevier Science 🌐 English βš– 816 KB

We define a general notion of (syntactic) unification, the (77, ~-unification, whose special cases are matching, unification, semi-unification, and weak-unification. We settle all the implications between the various cases of (77, ~)-unification leading to a classification and a decidability result.