R. G. Gurevich, “Decidability of the equational theory of positive numbers with exponentiation”, Sibirsk. Mat. Zh., 1984, Volume 25, Number 2,Pages <nobr>216

JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive

Sibirsk. Mat. Zh., 1984 Volume 25, Number 2, Pages 216–219 (Mi smj6842)

Notes department

Decidability of the equational theory of positive numbers with exponentiation

R. G. Gurevich

UDC: 511

Received: 22.06.1982

Fulltext: PDF file (660 kB)

Bibliographic databases: