|
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”, Izv. Akad. Nauk SSSR Ser. Mat., 48:4 (1984), 735–749; 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: | 453 | Russian version PDF: | 162 | English version PDF: | 22 | References: | 37 | First page: | 1 |
|