✦ LIBER ✦

Program equilibrium—a program reasoning approach

✍ Scribed by Wiebe van der Hoek, Cees Witteveen…

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Reasoning-for-Children Program

✍ A. CLARE JERDONEK 📂 Article 📅 1977 🏛 Creative Education Foundation 🌐 English ⚖ 439 KB

Program equilibrium

✍ Moshe Tennenholtz 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 114 KB

Hypothetical reasoning in logic programm

✍ Antonio Brogi; Evelina Lamma; Paula Mello 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 517 KB

A linear programming approach to reasoni

✍ Dimitris Kavvadias; Christos H. Papadimitriou 📂 Article 📅 1990 🏛 Springer Netherlands 🌐 English ⚖ 1009 KB

Lightweight Reasoning about Program Corr

✍ Marsha Chechik; Wei Ding 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 316 KB

A mathematical programming approach for

✍ Frederic H. Murphy; Hanif D. Sherali; Allen L. Soyster 📂 Article 📅 1982 🏛 Springer-Verlag 🌐 English ⚖ 618 KB