|
Sibirskii Matematicheskii Zhurnal, 1995, Volume 36, Number 5, Pages 1067–1080
(Mi smj577)
|
|
|
|
This article is cited in 34 scientific papers (total in 34 papers)
Undecidability of the positive $\forall\exists^3$-theory of a free semigroup
V. G. Durnev
Received: 22.11.1994
Citation:
V. G. Durnev, “Undecidability of the positive $\forall\exists^3$-theory of a free semigroup”, Sibirsk. Mat. Zh., 36:5 (1995), 1067–1080; Siberian Math. J., 36:5 (1995), 917–929
Linking options:
https://www.mathnet.ru/eng/smj577 https://www.mathnet.ru/eng/smj/v36/i5/p1067
|
|