✦ LIBER ✦

On the Decidability of the Equivalence Problem for Orthogonal Sequential Programs

✍ Scribed by Vladimir A. Zakharov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The decidability of the DOL-DTOL equival

✍ Keijo Ruohonen 📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 660 KB

On the decidability of the equivalence p

✍ Stefano Varricchio 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 481 KB

On the decidability of homomorphism equi

✍ K. Culik II; Arto Salomaa 📂 Article 📅 1978 🏛 Elsevier Science 🌐 English ⚖ 779 KB

Decidability of the Analysis Problem for

✍ V. V. Toporkov 📂 Article 📅 2003 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 100 KB

On the decidability of the word problem

✍ M. Mazzucchelli; A. Cherubini 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 506 KB

A simple proof on the decidability of eq

✍ H. Leung; D. Ranjan; H.J. Hernández; D. Tang; A. González 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 308 KB