Investigations on algorithmic questions of algebra
From MaRDI portal
Publication:1081695
zbMath0602.20029MaRDI QIDQ1081695
S. I. Adyan, Gennady S. Makanin
Publication date: 1986
Published in: Proceedings of the Steklov Institute of Mathematics (Search for Journal in Brave)
Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Metamathematical considerations in group theory (20A10)
Related Items (4)
On some algorithmic problems for groups and monoids ⋮ Makanin's algorithm is not primitive recursive ⋮ Decision problems for semi-Thue systems with a few rules ⋮ Frontier between decidability and undecidability: A survey
This page was built for publication: Investigations on algorithmic questions of algebra