I. E. Pedanov, “The decidability of the membership problem in a data processing language for geometry”, Zh. Vychisl. Mat. Mat. Fiz., 1974, Volume 14, Number 2,Pages <nobr>450

JOURNALS // Zhurnal Vychislitel'noi Matematiki i Matematicheskoi Fiziki // Archive

Zh. Vychisl. Mat. Mat. Fiz., 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

UDC: 518.5

MSC: 03B25

Received: 26.04.1973

Fulltext: PDF file (1173 kB)

English version: USSR Computational Mathematics and Mathematical Physics, 1974, 14:2, 174–183

Bibliographic databases: