Documents associated with Dines Bjorner

Letter on a Form, J. Mitchell->A. Rasmussen, 17.11.1987
The author informs of dispatching the all typing kits to the individual authors who should return their complete article to the addressee no later than 1 January 1988.
Bibliography, A.V. Zamulin->D. Bjorner, 22.04.1987
additions to the list of Mixed Computation Papers by Soviet authors
Copy of a telegram, D. Bjorner->A.P. Ershov, 30.04.1987
official invitation for A.P. Ershov has been posted
Letter on a Form, S. Smit->A. Rasmussen, 17.11.1987
The author thanks for the letter of 11th Novemberand the enclosed addresses of the authors. She wants to know the date she can expect to receive the complete manuscripts for publication.
Copy of a telegram, D. Bjorner->A.P. Ershov, 30.04.1987
official invitations for six Soviet scientists have been posted
Telegram, D. Bjorner->A.P. Ershov, 03.05.1987
formal 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.1987
formal letters of official invitations for six USSR scientists have been posted (original text and its translation into Russian)
Telegram, D. Bjorner->A.V. Zamulin, 03.05.1987
formal letter of official invitation for A.V. Zamulin has been posted
Letter, A.P. Ershov->E. P. Velikhov
Letter, D. Bjorner->A.P. Ershov, 28.12.1987
It is a Christmas letter. The authors, Bjorner's family, describe the outgoing year: all is fine, they are all healthy. They had many interesting trips in the different countries. They remember also sad events of the year: the death of the close friends.
Telegram, A.P. Ershov->D. Bjorner..., 04.05.1987
thanks for invitation to Mixed Computation Seminar
Letter, D. Bjorner->A.P. Ershov, 03.07.1978
Letter, A.P. Ershov->D. Bjorner, 19.07.1978
Thanks for the letter and material; hopes that Marchuk's letter has been received
Letter, D. Bjorner->A.P. Ershov, 08.05.1987
the author asks A.P. Ershov to help secure the active presence of all 6 Soviet invitees...
Formal invitation, D. Bjorner->M. A. Bulyonkov, 11.05.1987
for Dr. Bulyonkov to participate in the Workshop
Formal invitation, D. Bjorner->A.P. Ershov, 11.05.1987
for Acad. Ershov to participate in the Workshop
Formal invitation, D. Bjorner->Ya. M. Barzdin, 11.05.1987
for Prof. Barzdin to participate in the Workshop
Formal invitation, D. Bjorner->A.V. Zamulin, 11.05.1987
for Prof. Zamulin to participate in the Workshop
Formal invitation, D. Bjorner->B. N. Ostrovsky, 11.05.1987
for Dr. Ostrovsky to participate in the Workshop
Formal invitation, D. Bjorner->S. A. Romanenko, 11.05.1987
for Prof. Romanenko to participate in the Workshop

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
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016