✦ LIBER ✦

On connection between the word problem and decidability of the equational theory

✍ Scribed by V. Yu. Popov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Deciding the Word Problem in the Union o

✍ Franz Baader; Cesare Tinelli 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 368 KB

On the decidability of the word problem

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

On decidability of the decomposability p

✍ Andrey S. Morozov; Denis K. Ponomaryov 📂 Article 📅 2010 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 181 KB

On the decidability of equational theori

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

Equations of the inverse problem, backlu

✍ A. K. Rybnikov 📂 Article 📅 1999 🏛 Springer US 🌐 English ⚖ 984 KB

Remarks on the connection between mode t

✍ H. Bremmer 📂 Article 📅 1956 🏛 Società Italiana di Fisica ⚖ 363 KB