A reduction of the decidability problem of the theory of a free group
From MaRDI portal
Publication:1086673
DOI10.1007/BF01159565zbMath0609.20017MaRDI QIDQ1086673
Publication date: 1986
Published in: Mathematical Notes (Search for Journal in Brave)
Applications of logic to group theory (20A15) Free nonabelian groups (20E05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Basic properties of first-order languages and structures (03C07)
Related Items (1)
This page was built for publication: A reduction of the decidability problem of the theory of a free group