| Information, 04.04.1987 about scientific contribution of B. Ostrovsky to the theory and application of mixed computation
Telegram, A.P. Ershov->D. Bjorner, 06.04.1987about formal invitations
Covering letter (hand-written), Ya. M. Barzdin->A.P. Ershov, 31.03.1987to the paper "Mixed computation and a compiler basis" submitted for the Workshop
Letter, A.P. Ershov->E. A. Nemtsov, 10.04.1987about preparation of the documents for getting visa
Letter, A.P. Ershov->A. N. Tikhonov, 10.04.1987about urgent dispatch of the documents for getting visa for S. Romanenko
Letter, A.P. Ershov->G. A. Mesyats, 10.04.1987about urgent dispatch of the documents for getting visa for N. Nepeivoda
Letter, A.P. Ershov->S. S. Lavrov, 10.04.1987about urgent dispatch of the documents for getting visa for Prof. S. Lavrov
Letter, E. P. Velikhov->A. N. Belov, 15.04.1987asks to include B. Ostrovsky and J. Barzdin in the Soviet delegation to Denmark
Letter, A.P. Ershov->E. A. Nemtsov, 10.04.1987information about posting the letters to potential delegates (copies of the letters enclosed)
Plans, 28.08.1986for the Workshop.
Information, 10.04.1987about scientific contribution of S. Romanenko to the theory and application of mixed computation
Telegram, D. Bjorner->M. A. Bulyonkov, 03.05.1987formal letter of official invitation for M.A. Bulyonkov has been posted
Information, 10.04.1987about scientific contribution of N. Nepeivoda to the theory and application of mixed computation
Information, 10.04.1987about scientific contribution of V. Itkin to the theory and application of mixed computation
Bibliography, A.V. Zamulin->D. Bjorner, 22.04.1987additions to the list of Mixed Computation Papers by Soviet authors
Information, 11.05.1987a brief guide to the hotel where the Soviet delegation lived, including some practical information, the floor plans and the map
Copy of a telegram, D. Bjorner->A.P. Ershov, 30.04.1987official invitation for A.P. Ershov has been posted
Copy of a telegram, D. Bjorner->A.P. Ershov, 30.04.1987official invitations for six Soviet scientists have been posted
Telegram, D. Bjorner->A.P. Ershov, 03.05.1987formal letter of official invitation for A.P. Ershov has been posted (original text and its translation into Russian)
Telegram, D. Bjorner->A.P. Ershov, 03.05.1987formal letters of official invitations for six USSR scientists have been posted (original text and its translation into Russian)
1
2
3
4
5
6
7
8
9
Initial order | In alphabetical order | By date |
