✦ LIBER ✦

The decidability of the FOL-DOL equivalence problem

✍ Scribed by Keijo Ruohonen

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 OL-DOL equiva

✍ Keijo Ruohonen 📂 Article 📅 1979 🏛 Elsevier Science ⚖ 875 KB

The ultimate equivalence problem for DOL

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

On the equivalence problem for binary DO

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

On the Decidability of the Equivalence P

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

Decidability Equivalence between the Sta

✍ D. Kirsten<ORF RID="A1"> 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 240 KB