|
This article is cited in 45 scientific papers (total in 46 papers)
Decidability of the universal and positive theories of a free group
G. S. Makanin
Abstract:
The decidability of the universal and positive theories of a free group is established.
Bibliography: 3 titles.
Received: 07.04.1983
Citation:
G. S. Makanin, “Decidability of the universal and positive theories of a free group”, Math. USSR-Izv., 25:1 (1985), 75–88
Linking options:
https://www.mathnet.ru/eng/im1489https://doi.org/10.1070/IM1985v025n01ABEH001269 https://www.mathnet.ru/eng/im/v48/i4/p735
|
|