|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Documents associated with V. A. Nepomniaschy Letter, A.P. Ershov->V. M. Savinkov, 08.05.1985 The author recommends to publish the article by V.A.Nepomniaschy and V.K.Sabelfeld "Transformational Synthesis of Correct Programs" in "Applied Informatics". He gives a high appreciation of this article. /Handwritten text./
Letter, A.P. Ershov->V. A. Tuzov, 05.05.1969Letter, A.P. Ershov->E. L. Berlekamp..., 12.03.1976 Telegram (hand-written), A.P. Ershov->A. Huber, 09.03.1974 List Letter with attachment, V. B. Borschev->A.P. Ershov, 20.05.1988 Proposals Report, 10.11.1985 Letter, A.P. Ershov->N.A. Karpova, 10.08.1973 Minutes ¹16, 25.10.1994 Minutes ¹16, 04.07.1995 Extract, 25.10.1994 Letter, D. G. Skordev->A.P. Ershov, 01.02.1978 Covering letter with attachment, 12.04.1976 Enclosed are photocopies of all the review cuttings received for the last 3 months.
Minutes ¹17, 13.12.1994Photograph, 01.01.1975(?) Review Letter on a Form with Attachment, P. Deransart->A.P. Ershov, 24.03.1988 The author thanks for a meeting at the addressee's institute during his visit last January. He suggests two proposals on a further collaboration that can be discussed at the International Workshop PLILP 88 in Orleans (France, near Paris) in May 16-18, 1988. An information on the Workshop is attached.
ReportLetter, D. G. Skordev->A.P. Ershov, 15.11.1985 The addressee once again is invited to the International Summer School and Conference "Mathematical Logic and its Applications" as a lector for the School and as a member of the Programme Committee for the Conference. The author asks to give an answer as soon as possible.
1 2 3 4 5 6 7 8 9 10 Initial order | In alphabetical order | By date Back |
|
| Switch to Russian | Search | Advanced search | Folders | Themes | |
|
|||||
|
|||||
|
|||||
|
|||||
|
