✦ LIBER ✦

On the equivalence problem for binary DOL systems

✍ Scribed by Juhani Karhumäki

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The ultimate equivalence problem for DOL

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

On the decidability of the OL-DOL equiva

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

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 regular T

✍ Paliath Narendran 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 531 KB

The sequence equivalence problem for pri

✍ Juha Honkala 📂 Article 📅 2013 🏛 Elsevier Science 🌐 English ⚖ 172 KB