✦ LIBER ✦

Totally correct logic program transformations via

✍ Scribed by Alberto Pettorossi; Maurizio Proietti

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Totally correct logic program transforma

✍ Alberto Pettorossi; Maurizio Proietti 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 778 KB

Proving total correctness of nondetermin

✍ R. J. R. Back 📂 Article 📅 1981 🏛 Springer-Verlag 🌐 English ⚖ 886 KB

Transformations of logic programs

✍ Olga Štěpánková; Petr Štěpánek 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 863 KB

Relating logic programs via program maps

✍ Marc Kirschenbaum; Leon Sterling; Ashish Jain 📂 Article 📅 1993 🏛 Springer Netherlands 🌐 English ⚖ 990 KB

Logic-term equivalent transformations of

✍ Sin Men Dyo 📂 Article 📅 1977 🏛 Springer US 🌐 English ⚖ 847 KB

Auxiliary variables in partial correctne

✍ E. Robert McCurley 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 350 KB