|
A reduction of the decidability problem of the theory of a free group
G. S. Makanin
Received: 12.05.1985
Citation:
G. S. Makanin, “A reduction of the decidability problem of the theory of a free group”, Mat. Zametki, 40:1 (1986), 31–35; Math. Notes, 40:1 (1986), 519–521
Linking options:
https://www.mathnet.ru/eng/mzm5131 https://www.mathnet.ru/eng/mzm/v40/i1/p31
|
|