The decidability of the membership problem in a data processing language for geometry
Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki, Tome 14 (1974) no. 2, pp. 450-460
Cet article a éte moissonné depuis la source Math-Net.Ru
@article{ZVMMF_1974_14_2_a15,
author = {I. E. Pedanov},
title = {The decidability of the membership problem in a data processing language for geometry},
journal = {\v{Z}urnal vy\v{c}islitelʹnoj matematiki i matemati\v{c}eskoj fiziki},
pages = {450--460},
year = {1974},
volume = {14},
number = {2},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/ZVMMF_1974_14_2_a15/}
}
TY - JOUR AU - I. E. Pedanov TI - The decidability of the membership problem in a data processing language for geometry JO - Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki PY - 1974 SP - 450 EP - 460 VL - 14 IS - 2 UR - http://geodesic.mathdoc.fr/item/ZVMMF_1974_14_2_a15/ LA - ru ID - ZVMMF_1974_14_2_a15 ER -
I. E. Pedanov. The decidability of the membership problem in a data processing language for geometry. Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki, Tome 14 (1974) no. 2, pp. 450-460. http://geodesic.mathdoc.fr/item/ZVMMF_1974_14_2_a15/