✦ LIBER ✦

Frontier between decidability and undecidability: a survey

✍ Scribed by Maurice Margenstern

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Decidable and undecidable logics with a

✍ ágnes Kurucz; István Németi; Ildikó Sain; András Simon 📂 Article 📅 1995 🏛 Springer Netherlands 🌐 English ⚖ 963 KB

Nonerasing Turing machines: a frontier b

✍ M. Margenstern 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 328 KB

A survey of application: Genomics and ge

✍ Mohammad Wahab Khan; Mansaf Alam 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 399 KB

A decidable characterization of the clas

✍ Salvatore Caporaso 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 85 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

An intermediate machine technique for de

✍ Yair Itzhaik; Amiram Yehudai 📂 Article 📅 1984 🏛 Elsevier Science ⚖ 493 KB