✦ LIBER ✦

Automatic maintenance of association invariants

✍ Scribed by James Welch; David Faitelson; Jim Davies

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automatic Generation of Invariants

✍ Saddek Bensalem; Yassine Lakhnech 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 100 KB

Invariance of a system of automatic cont

✍ R. A. Spasskii 📂 Article 📅 1992 🏛 Springer US 🌐 English ⚖ 275 KB

Automatic generation of polynomial invar

✍ E. Rodríguez-Carbonell; D. Kapur 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 446 KB

Automatic Subdivision of Associated Popu

✍ WILLIAMS, W. T.; LANCE, G. N. 📂 Article 📅 1958 🏛 Nature Publishing Group 🌐 English ⚖ 118 KB

Automatic maintenance of vitally importa

✍ A. N. Medelyanovskii; I. K. Tabarovskii 📂 Article 📅 1967 🏛 Springer US 🌐 English ⚖ 654 KB

Measurement and automatic maintenance of

✍ Yu.I Nechaev 📂 Article 📅 1962 🏛 Elsevier Science 🌐 English ⚖ 138 KB