✦ LIBER ✦

Decidability of elementary theories of lattices of subsemigroups

✍ Scribed by B. Bassgalan

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On elementary theories of lattices of su

✍ M. A. Taitslin 📂 Article 📅 1970 🏛 Springer US 🌐 English ⚖ 528 KB

On decidability of equational theories

✍ Harvey Friedman 📂 Article 📅 1976 🏛 Elsevier Science 🌐 English ⚖ 266 KB

The decidability of mechanical theories

✍ G. P. Dishkant 📂 Article 📅 1969 🏛 Springer US 🌐 English ⚖ 86 KB

Decidability of the elementary theory of

✍ L. V. Shabunin 📂 Article 📅 1990 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 464 KB

Existence varieties with lattices of reg

✍ K. G. Johnston 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 282 KB

Decidability of ∀*∀-Sentences in Members

✍ Eugenio G. Omodeo; Franco Parlamento; Alberto Policriti 📂 Article 📅 1996 🏛 John Wiley and Sons 🌐 English ⚖ 1007 KB