Logical recognition algorithms based on the Gilbert expansion
Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki, Tome 43 (2003) no. 8, pp. 1243-1248
Voir la notice de l'article provenant de la source Math-Net.Ru
@article{ZVMMF_2003_43_8_a9,
author = {S. I. Gurov},
title = {Logical recognition algorithms based on the {Gilbert} expansion},
journal = {\v{Z}urnal vy\v{c}islitelʹnoj matematiki i matemati\v{c}eskoj fiziki},
pages = {1243--1248},
publisher = {mathdoc},
volume = {43},
number = {8},
year = {2003},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/ZVMMF_2003_43_8_a9/}
}
TY - JOUR AU - S. I. Gurov TI - Logical recognition algorithms based on the Gilbert expansion JO - Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki PY - 2003 SP - 1243 EP - 1248 VL - 43 IS - 8 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/ZVMMF_2003_43_8_a9/ LA - ru ID - ZVMMF_2003_43_8_a9 ER -
S. I. Gurov. Logical recognition algorithms based on the Gilbert expansion. Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki, Tome 43 (2003) no. 8, pp. 1243-1248. http://geodesic.mathdoc.fr/item/ZVMMF_2003_43_8_a9/