scientific article
From MaRDI portal
Publication:3342743
zbMath0549.20020MaRDI QIDQ3342743
S. I. Adyan, Gennady S. Makanin
Publication date: 1984
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Metamathematical considerations in group theory (20A10)
Related Items (4)
On the studies of Gennadii Semënovich Makanin on algorithmic questions of the theory of groups and semigroups ⋮ Undecidability of the positive \(\forall\exists^ 3\)-theory of a free semigroup ⋮ The word problem for one-relation monoids: a survey ⋮ Algorithmic problems in varieties of semigroups
This page was built for publication:
