✦ LIBER ✦

A reduction of the decidability problem of the theory of a free group

✍ Scribed by G. S. Makanin

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Decidability of the Star Problem in A∗ ×

✍ Paul Gastin; Edward Ochmanski; Antoine Petit; Brigitte Rozoy 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 620 KB

On the decidability of the word problem

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

Connection between context-free groups a

✍ L. B. Smikun 📂 Article 📅 1977 🏛 Springer US 🌐 English ⚖ 482 KB

A free boundary problem in the theory of

✍ G. Cimatti 📂 Article 📅 1980 🏛 Elsevier Science 🌐 English ⚖ 578 KB

Decidability of the elementary theory of

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

Group theory of the Kepler problem

✍ E.C.G. Sudarshan; N. Mukunda; L. O'Raifeartaigh 📂 Article 📅 1965 🏛 Elsevier Science ⚖ 398 KB