Documents associated with Anatoli Vasilievich Anisimov

List
of the Soviet delegation to the Seminar
Photograph, 21.09.1979
Urgench; reception at the UZSSR AS; A. Letichevskiy and A. Anisimov
Covering letter, A. V. Anisimov->A.P. Ershov, 25.04.1983
to the dissertation with brief comments and the request to be an official opponent
Invitation, A. V. Anisimov->A.P. Ershov, 20.10.1984
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
Draft, 01.01.1984
Review, 10.01.1984
Letter, A. V. Anisimov->A.P. Ershov, 19.10.1975
request to read the enclosed abstract and make remarks
Telegram, A.P. Ershov->V. K. Kabulov, 05.09.1979
J. McCarthy, R. Karp and Y. Moschovakis will not come; A. V. Anisimov is additionally invited
Letter, A. V. Anisimov->A.P. Ershov, 23.01.1986
The author sends his article prepared for the journal "Nauka i zhizn'(Science and Life)" and asks to give remarks and advices.
Church-Rosser transformers and decidable properties of tree processing, 07.12.1979
typed copy of the paper
Telegram, A.P. Ershov->A. V. Anisimov, 25.05.1981
request for written confirmation of authorization of the paper's publication in Russian and in English
Letter, F. I. Andon->A.P. Ershov, 12.12.1983
Covering letter, A. V. Anisimov->A.P. Ershov, 26.12.1983
Experts' decision, 09.01.1981
on the paper by A.V. Anisimov "Church-Rosser reducers and decidable tree processing properties"
Author's reference, 09.01.1981
to the paper "Church-Rosser reducers and decidable tree processing properties"
Letter, I. S. Fedorchenko->A.P. Ershov, 27.05.1981
Permission for the publication of the paper by A.V. Anisimov
Letter, E. L. Yuschenko->A.P. Ershov, 29.10.1973
About conversation with professor Ingerman, who had not been familiar with Ershov’s works, at the symposium in Wysokie Tatry; a letter and some reprints obtained as a result of this talk are included.
Telegram, A.P. Ershov->A. V. Anisimov, 05.09.1979
about invitation of A. Anisimov as a scientific translator
Telegram, A.P. Ershov->A. A. Letichevsky, 03.09.1979
urgent request for A. Anisimov's address and position

1 2
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