Archive
Correspondence
Outgoing foreign mail (1980)
Letter, A.P. Ershov->R. B. K. Dewar, 09.01.1980
Telegram, A.P. Ershov->D. Bjorner, 10.01.1980
Letter, A.P. Ershov->F. H. Sumner, 15.01.1980
Report on preparation to the IFIP 80 Congress.
Telegram, A.P. Ershov->D. Bjorner, 16.01.1980
Telegram, A.P. Ershov->H. F. Sherwood, 16.01.1980
Letter, A.P. Ershov->R. M. Burstall, 25.01.1980
with thanks for essential remarks on Tyugu's IFIP 80 paper.
Letter (hand-written), A.P. Ershov->W. A. Wulf, 26.06.1980
discussing the itinerary of the addressee's planned trip to the USSR; hoping the invitation letter from the director has already arrived
Letter, A.P. Ershov->M. Nagao, 15.02.1980
Telegram, A.P. Ershov->H. F. Sherwood, 29.01.1980
Letter, A.P. Ershov->S. C. Kleene, 01.02.1980(?)
sharing his thoughts on abstract computability
Circular Letter, A.P. Ershov->all participants, 01.02.1980
to all participants of Urgench Symposium. "Springer-Verlag" confirms its intention to publish the Proceedings as a separate LNCS volume and asks to estimate the time necessary for the volume preparation
Telegram, A.P. Ershov->A. Wijngaarden, van, 27.02.1980
"May I telephone you (van Wingaarden) this Saturday from the hotel?"
Letter, A.P. Ershov->G. Kreisel, 25.02.1980
Telegram Text, I.V. Pottosin->A.P. Ershov, 04.03.1980
"Paper by Hasui rejected."
Telegram Text, I.V. Pottosin->A.P. Ershov, 06.03.1980
"Denning withdrew his paper."
Letter, A.P. Ershov->J. V. Guttag, 17.03.1980
"I have been surprised that your (political) concern is expressed in the form of potential refusal to review papers for the IFIP Congress." (Both manuscript and typewritten texts.)
Covering letter (hand-written), A.P. Ershov->S. H. Lavington, 11.04.1980
to the list of reviewers (for IFIP 80 papers) from A.P.Ershov's area. The author thanks also for a book.
Telegram Text, A.P. Ershov->P. Dembinski, 17.04.1980
"Would you inform me about the status of Lomazova' paper?"
Letter, A.P. Ershov->D. E. Knuth, 30.04.1980
Telegram, A.P. Ershov->J. Kazimour, 30.04.1980(?)

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

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