Pedanov Igor Evgenievich

Publications in Math-Net.Ru

1. The decidability of the membership problem in a data processing language for geometry
   
   Zh. Vychisl. Mat. Mat. Fiz., 14:2 (1974),  450–460