Smirnov V K

Publications in Math-Net.Ru

1. The Hardware realization of the language Refal in the Keldysh Institute for Applied Mathematics
   
   Keldysh Institute preprints, 2003, 099, 21 pp.
2. User Interface for Applied Problems
   
   Keldysh Institute preprints, 2000, 074