RUS
ENG
Full version
PEOPLE
Gurevich R G
Publications in Math-Net.Ru
Decidability of the equational theory of positive numbers with exponentiation
Sibirsk. Mat. Zh.
,
25
:2 (1984),
216–219
©
Steklov Math. Inst. of RAS
, 2024