A. D. Taimanov, Yu. I. Khmelevskii, “Decidability of the universal theory of a free semigroup”, Sibirsk. Mat. Zh., 1980, Volume 21, Number 1,Pages <nobr>228

JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive

Sibirsk. Mat. Zh., 1980 Volume 21, Number 1, Pages 228–230 (Mi smj3694)

This article is cited in 2 papers

Notes department

Decidability of the universal theory of a free semigroup

A. D. Taimanov^a, Yu. I. Khmelevskii^b

^a Institute of Mathematics, Siberian Branch of USSR Academy of Sciences, Novosibirsk
^b Central Economics and Mathematics Institute, USSR Academy of Sciences, Moscow

UDC: 517.11

Received: 17.01.1979

Bibliographic databases: