✦ LIBER ✦

On decidability of the decomposability problem for finite theories

✍ Scribed by Andrey S. Morozov; Denis K. Ponomaryov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the decidability of the word problem

✍ M. Mazzucchelli; A. Cherubini 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 506 KB

Decidability of the admissibility proble

✍ V. V. Rybakov 📂 Article 📅 1984 🏛 Springer US 🌐 English ⚖ 968 KB

On the decomposability of the stable mar

✍ Eugene Veklerov 📂 Article 📅 1989 🏛 Springer Netherlands 🌐 English ⚖ 331 KB

Some criteria for the decomposability of

✍ V. M. Busarkin; N. D. Podufalov 📂 Article 📅 1972 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 366 KB

On the decidability of equational theori

✍ V. Yu. Popov 📂 Article 📅 1998 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 451 KB

The decidability of equivalence for dete

✍ Meera Blattner; Tom Head 📂 Article 📅 1979 🏛 Elsevier Science 🌐 English ⚖ 294 KB