A simple presentation of a group with unsolvable word problem
From MaRDI portal
Publication:1061849
zbMath0571.20027MaRDI QIDQ1061849
Publication date: 1986
Published in: Illinois Journal of Mathematics (Search for Journal in Brave)
Generators, relations, and presentations of groups (20F05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)
Related Items (6)
Methods of constructive category theory ⋮ Ends of Schreier graphs of hyperbolic groups ⋮ Decidability and combination results for two notions of knowledge in security protocols ⋮ Algorithmically finite groups. ⋮ Some undecidable termination problems for semi-Thue systems ⋮ Correction to: ``The word problem for one-relation monoids: a survey
This page was built for publication: A simple presentation of a group with unsolvable word problem
