✦ LIBER ✦

Logic-term equivalent transformations of program schemes

✍ Scribed by Sin Men Dyo

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Connection with logical-term equivalence

✍ A. B. Godlevskii 📂 Article 📅 1976 🏛 Springer US 🌐 English ⚖ 223 KB

Identity transformations for structured-

✍ G. E. Tseitlin 📂 Article 📅 1980 🏛 Springer US 🌐 English ⚖ 836 KB

Equivalent transformations of address al

✍ V. N. Porshneva 📂 Article 📅 1968 🏛 Springer US 🌐 English ⚖ 787 KB

Equivalences among logics of programs

✍ Albert R. Meyer; Jerzy Tiuryn 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 742 KB

Transformations of logic programs

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

A class of equivalent transformations of

✍ A. S. Nikitin 📂 Article 📅 1968 🏛 Springer US 🌐 English ⚖ 701 KB