𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On unification of terms with integer exponents

✍ Scribed by H. Comon


Publisher
Springer
Year
1995
Tongue
English
Weight
1004 KB
Volume
28
Category
Article
ISSN
1433-0490

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Increasing Model Building Capabilities b
✍ NICOLAS PELTIER πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 770 KB

We extend a former method for simultaneous search for refutations and models, based on the use of constraints, by extending the expressive power of the constraints. Our extension uses the language of I-terms, in which it is possible to denote infinite sequences of structurally similar terms. Our wor