Documents associated with Alexander A. Letichevsky

Letter, A. A. Stogniy->A.P. Ershov, 15.04.1977
Survey Feedback
Letter, V. M. Glushkov->A.P. Ershov, 05.07.1979
the list of talks suggested for including in the Symposium Program
Phototelegram, A. A. Letichevsky->A.P. Ershov, 17.02.1969
The author asks when and where he could meet A.P. Ershov during his trip to Sverdlovsk.
Telegram, A.P. Ershov->A. A. Letichevsky, 07.05.1971
Letter, A. A. Letichevsky->A.P. Ershov, 16.02.1972
Thanks for the invitation to the symposium in the theory of programming; information on sending over the draft paper; the paper by Val’kovsky has been left without comments for ethical reasons.
Draft for a telegram, A.P. Ershov->A. A. Letichevsky, 28.08.1979
about difficulties due to invitation for Yu. V. Kapitonova from A. V. Anisimov
Telegram, A.P. Ershov->Yu. A. Mitropolsky, 25.03.1978
Telegram, A.P. Ershov->V. M. Glushkov, 25.03.1978
Item 25. (Name does not exist in this language.)
Letter, A.P. Ershov->I. V. Sergienko, 04.05.1979
about V.Sabelfeld's dissertation defence
Reviewer's Report, A. A. Letichevsky->A.P. Ershov, 28.01.1980
by A.Letichevsky on O.Bandman's, S.Piskunov's and S.Sergeev's paper.
List, 16.12.1981
Letter, A.P. Ershov->N. S. Furs, 04.04.1972
Paper, 04.06.1980
"On finding invariant relations of programs"
Letter, A. Degtyarev->M. A. Bulyonkov
Item 33. (Name does not exist in this language.)
Covering letter, A.P. Ershov->A. A. Letichevsky, 13.08.1973
to the final version of the paper by V.Val'kovsky; consent to be an official opponent
Letter, K. D. Zhuk->A.P. Ershov, 24.03.1971
Notification of approving Ershov as an official opponent for A.A. Letichevskiy's dissertation
Letter, A.P. Ershov->A. O. Buda, 25.03.1975
informing of the author's schedule; giving recommendations and approves the paper for submission to the "Theoretical Computer Science".

1 2 3 4 5 6
Initial order | In alphabetical order | By date


Back

Switch to Russian | Search | Advanced search | Folders | Themes
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016