✦ LIBER ✦

Derivation of Efficient Logic Programs by Specialization and Reduction of Nondeterminism

✍ Scribed by Alberto Pettorossi; Maurizio Proietti; Sophie Renault

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Derivation of logic programs by function

✍ A. Bijlsma 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 661 KB

Rules and Strategies for Contextual Spec

✍ Fabio Fioravanti; Alberto Pettorossi; Maurizio Proietti 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 719 KB

Special issue: synthesis, transformation

✍ Annalisa Bossi; Yves Deville 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 157 KB

Reducts of propositional theories, satis

✍ Miroslaw Truszczyński 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 310 KB

Guest editors' introduction Special Issu

✍ Annalisa Bossi; Yves Deville 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 36 KB

Derivation of substructures from infrare

✍ F. Ehrentreich 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 187 KB