✦ LIBER ✦

On the decidability of the OL-DOL equivalence problem

✍ Scribed by Keijo Ruohonen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The decidability of the FOL-DOL equivale

✍ Keijo Ruohonen 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 465 KB

The decidability of the DOL-DTOL equival

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

On the equivalence problem for binary DO

✍ Juhani Karhumäki 📂 Article 📅 1981 🏛 Elsevier Science ⚖ 359 KB

The ultimate equivalence problem for DOL

✍ Karel Culik 📂 Article 📅 1978 🏛 Springer-Verlag 🌐 English ⚖ 346 KB

On the Decidability of the Equivalence P

✍ Vladimir A. Zakharov 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 102 KB

On the decidability of the equivalence p

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