✦ LIBER ✦

On an equivalence checking technique for algebraic models of programs

✍ Scribed by R. I. Podlovchenko

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the polynomial complexity of the equi

✍ R. I. Podlovchenko 📂 Article 📅 2012 🏛 Springer US 🌐 English ⚖ 98 KB

Efficient algorithms for checking the eq

✍ V. L. Shcherbina; V. A. Zakharov 📂 Article 📅 2008 🏛 Allerton Press, Inc. 🌐 English ⚖ 212 KB

DP lower bounds for equivalence-checking

✍ Petr Jančar; Antonı́n Kučera; Faron Moller; Zdeněk Sawa 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 304 KB

An Inductive Technique for Parameterised

✍ Douglas Graham; Muffy Calder; Alice Miller 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 417 KB

On a Lift of an Individual Stable Equiva

✍ Hideto Asashiba 📂 Article 📅 2003 🏛 Springer Netherlands 🌐 English ⚖ 169 KB

A technique for facilitating the rotatio

✍ Joseph Sandler 📂 Article 📅 1952 🏛 Springer 🌐 English ⚖ 368 KB