✦ LIBER ✦

The first order theory of primal grammars is decidable

✍ Scribed by Nicolas Peltier

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The equivalence of pre-NTS grammars is d

✍ J. -M. Autebert; L. Boasson 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 743 KB

Superposition Decides the First-Order Lo

✍ Kruglov, Evgeny; Weidenbach, Christoph 📂 Article 📅 2012 🏛 Springer-Verlag 🌐 English ⚖ 410 KB

No non-trivial quasivariety of BCK-algeb

✍ Marek Pałasiński 📂 Article 📅 1987 🏛 Springer Netherlands 🌐 English ⚖ 169 KB

Using the semantic embedding technique the theorem announced by the title is proved.

Decidable First-Order Theories of One-St

✍ Dietrich Kuske; Markus Lohrey 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 513 KB

Comparing First Order Theories of Module

✍ Saverio Cittadini; Carlo Toffalori 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 249 KB

Decidability of first-order theories for

✍ Yu. V. Nagrebetskaya 📂 Article 📅 2000 🏛 Springer US 🌐 English ⚖ 766 KB