𝔖 Bobbio Scriptorium
✦   LIBER   ✦

‘Made-to-order’ splints: The technique of construction and field of application

✍ Scribed by Hugh Trumble

Book ID
102767762
Publisher
John Wiley and Sons
Year
1931
Tongue
English
Weight
729 KB
Volume
19
Category
Article
ISSN
0007-1323

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Combining Enumeration and Deductive Tech
Combining Enumeration and Deductive Techniques in order to Increase the Class of Constructible Infinite Models
✍ Ricardo Caferra; Nicolas Peltier 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 486 KB

A new method for building infinite models for first-order formulae is presented. The method combines enumeration techniques with existing deductive (in a broad sense) ones. Its soundness and completeness w.r.t. the class of models that can be represented by equational constraints are proven. This sh