𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Geometric series with randomly increasing exponents

✍ Scribed by Neunhäuserer, J.


Book ID
125338139
Publisher
Springer
Year
2014
Tongue
English
Weight
207 KB
Volume
102
Category
Article
ISSN
0003-889X

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