RUS
ENG
Full version
SEMINARS
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
March 3, 2015
18:30
, Moscow, Steklov Mathematical Institute
Decidability of the elementary theory of the free GLP-algebra generated by constants
F. N. Pakhomov
©
Steklov Math. Inst. of RAS
, 2024