This article is cited in 34 papers

Undecidability of the positive $\forall\exists^3$-theory of a free semigroup

V. G. Durnev


UDC: 512.543.12, 512.54.03

Received: 22.11.1994

 English version: Siberian Mathematical Journal, 1995, 36:5, 917–929

Bibliographic databases:

• 
• 
•