|
Zhurnal Vychislitel'noi Matematiki i Matematicheskoi Fiziki, 1974, Volume 14, Number 2, Pages 450–460
(Mi zvmmf6344)
|
|
|
|
The decidability of the membership problem in a data processing language for geometry
I. E. Pedanov Moscow
Received: 26.04.1973
Citation:
I. E. Pedanov, “The decidability of the membership problem in a data processing language for geometry”, Zh. Vychisl. Mat. Mat. Fiz., 14:2 (1974), 450–460; U.S.S.R. Comput. Math. Math. Phys., 14:2 (1974), 174–183
Linking options:
https://www.mathnet.ru/eng/zvmmf6344 https://www.mathnet.ru/eng/zvmmf/v14/i2/p450
|
|