This article is cited 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

UDC: 517.11

Received: 20.05.1980

Bibliographic databases:

• 
•