✦ LIBER ✦

Problem of identity transformations of schemes of structured programs with closed logical conditions. II

✍ Scribed by G. E. Tseitlin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Problem of identity transformations of s

✍ G. E. Tseitlin 📂 Article 📅 1979 🏛 Springer US 🌐 English ⚖ 706 KB

Identity transformations for structured-

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

Connection with logical-term equivalence

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

A sufficient condition for self-concorda

✍ D. den Hertog; F. Jarre; C. Roos; T. Terlaky 📂 Article 📅 1995 🏛 Springer-Verlag 🌐 English ⚖ 712 KB