|
Sibirskii Matematicheskii Zhurnal, 1982, Volume 23, Number 1, Pages 196–198
(Mi smj6556)
|
|
|
|
This article is cited in 4 scientific papers (total in 4 papers)
Notes department
Undecidability of the positive $\forall\exists$-theory of a free semigroup
S. S. Marchenkov Keldysh Applied Mathematics Institute, Academy of Sciences of the USSR, Moscow
Received: 20.05.1980
Citation:
S. S. Marchenkov, “Undecidability of the positive $\forall\exists$-theory of a free semigroup”, Sibirsk. Mat. Zh., 23:1 (1982), 196–198
Linking options:
https://www.mathnet.ru/eng/smj6556 https://www.mathnet.ru/eng/smj/v23/i1/p196
|
Statistics & downloads: |
Abstract page: | 54 | Full-text PDF : | 17 |
|