|
This article is cited in 49 scientific papers (total in 50 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
|
| Statistics & downloads: |
| Abstract page: | 632 | | Russian version PDF: | 201 | | English version PDF: | 66 | | References: | 86 | | First page: | 1 |
|