✦ LIBER ✦

Validating the PSL/Sugar Semantics Using Automated Reasoning

✍ Scribed by Michael J. C. Gordon

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Using automated reasoning tools: A study

✍ Ewing Lusk; Robert McFadden 📂 Article 📅 1987 🏛 Springer 🌐 English ⚖ 437 KB

Towards the Use of Automated Reasoning i

✍ Claire Gardent; Bonnie Webber 📂 Article 📅 2001 🏛 Springer Netherlands 🌐 English ⚖ 138 KB

Automated reasoning in differential geom

✍ Shang-Ching Chou; Xiao-Shan Gao 📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 820 KB

Automated reasoning in differential geom

✍ Shang-Ching Chou; Xiao-Shan Gao 📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 989 KB

Automated validation of distributed soft

✍ Marius Bozga; Susanne Graf; Laurent Mounier 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 370 KB

Using hints to increase the effectivenes

✍ Robert Veroff 📂 Article 📅 1996 🏛 Springer Netherlands 🌐 English ⚖ 936 KB