|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Documents associated with Dines Bjorner Covering letter, V. N. Falk->D. Bjorner, 10.08.1987 to Prof. Bjorner, submission of the paper "Transformational model of a high-level programming language" for inclusion in the Proceedings of the Workshop
Covering letter, S. A. Romanenko->A.P. Ershov, 20.05.1987to the paper for inclusion in the program of the Workshop
Letter, 25.06.1987information about and invitation to the Paper Selection Meeting
Covering letter, V. Yu. Sazonov->D. Bjorner, 10.08.1987to Prof. Bjorner, submission of the paper "Lambda-calculus, assignment operator and denotational semantics" to the program of the Workshop
Covering letter, A.P. Ershov->D. Bjorner..., 31.08.1987to the paper by A.P. Ershov and M.A. Bulyonkov
Telegram, D. Bjorner->A.P. Ershov, 30.06.1987about Soviet Workshop papers
A list, A.P. Ershov->M. A. Bulyonkov, 13.07.1987of instructions for M.A. Bulyonkov to process the papers submitted for the Workshop
Letter, 13.08.1987official information to the Workshop Participant
Letter, 13.08.1987with information to the Workshop Speaker
Letter, D. Bjorner->A.P. Ershov, 02.05.1978Covering letter, 31.08.1987 to bibliography on Partial Evaluation and Mixed Computation
Telegram, D. Bjorner->A.P. Ershov, 09.10.1987about the decision to fund for 9 days Dr. N.N. Nepeivoda
Telegram, D. Bjorner->A.P. Ershov, 08.10.1987a request to cable urgently all arrival-departure information
Letter, A.P. Ershov->D. Bjorner, 31.08.1987as a PC member, A.P. Ershov submits his considerations as amendments to the final program of the Workshop; his Evaluation Table is attached
Telegram, A.P. Ershov->D. Bjorner, 03.09.1987about the final program of the Workshop
Telegram, D. Bjorner->A.P. Ershov, 03.10.1987that the Ershov's letter with amendments to Workshop Programme is received
Telegram, D. Bjorner->A.P. Ershov, 05.10.1987a request for all information on arrival-departure, visa status and so on...
Telegram, D. Bjorner->A.P. Ershov, 08.10.1987Prof. Bjorner has information about visas for the Soviet delegation and is preoccupied with the fact that M. Bulyonkov probably will not attend the Workshop
Notes (hand-written), A.P. Ershov->D. Bjorner, 08.10.1987a sketch of Ershov's call to Prof. Bjorner (in reply to his telegram of 8.10.87)
Telegram, D. Bjorner->A.P. Ershov, 08.10.1987about the final Workshop Programme
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 | |
|
|||||
|
|||||
|
|||||
|
|||||
|
