✦ LIBER ✦

Models of sequential programs used to study functional equivalence of programs

✍ Scribed by R. I. Podlovchenko

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Sequential approach to the solution of m

✍ V. S. Mikhalevich; V. L. Volkovich; A. F. Voloshin; S. O. Mashchenko 📂 Article 📅 1983 🏛 Springer US 🌐 English ⚖ 581 KB

Application of sequential quadratic prog

✍ M. Tamura; Y. Kobayashi 📂 Article 📅 1991 🏛 Springer-Verlag 🌐 English ⚖ 395 KB

An approach to automatic deductive synth

✍ Yulia Korukhova 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 339 KB

Hyperequivalence of logic programs with

✍ Mirosław Truszczyński; Stefan Woltran 📂 Article 📅 2008 🏛 Springer Netherlands 🌐 English ⚖ 581 KB

Using program slicing to assist in the d

✍ Rob Hierons; Mark Harman; Sebastian Danicic 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 211 KB

Equivalent mathematical programming mode

✍ Ji Soo Kim; Byoung Nam Lee 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 563 KB