|
|||||||||||
Documents associated with Dines Bjorner Announcement of the Conference with the list of topics and Program Committee members
Theses"Academician Andrei Petrovich Ershov in Memories" by D. Bjorner.
Enclosuresto Bjorner's proposal
JustificationLetter, A.P. Ershov->E. P. Velikhov with a request to include invitations of Bjorner and Jones in the plan of scientific communications of USSR AS
Letter, G. I. Marchuk->D. Bjornerwith proposed two-day shedule of Bjorner's scientific visit
MaterialsMaterials of Prof. Borner's seminars at the Technical University of Denmark
Printout, D. Bjorner->M. A. BulyonkovBadges of some Workshop participants
Letter, A.P. Ershov->E. P. VelikhovLetter, D. Bjorner->A.P. Ershov, 24.01.1977 Letter, C. B. Jones->S. A. Schuman, 15.03.1977 Letter, A.P. Ershov->D. Bjorner, 08.02.1978 in reply to the letter of 19.01.1977; the received material is interesting and closely related to the works of Ershov and his group. Sending their works in Russian
Letter, D. Bjorner->A.P. Ershov, 28.02.1978Letter, D. Bjorner->A.P. Ershov, 21.03.1978 on one technical and two administrative issues
Letter on a Form, E. J. Neuhold->A.P. Ershov, 05.04.1978Prof. Neuhold writes again to members of WG 2.2 and TC-2 about details of a financial support that can be given to 24 participants of the Meeting in Kyoto.
Letter, A.P. Ershov->D. Bjorner, 13.04.1978Discusiion on the problem of mixed computation; Ershov is planning to visit Denmark the next year and hopes that the addressee will be able to visit Novosibirsk on his way from Tokio to Kopenhagen
Letter, D. Bjorner->A.P. Ershov, 02.05.1978Letter, D. Bjorner->A.P. Ershov, 02.05.1978 Letter, D. Bjorner->A.P. Ershov, 02.05.1978 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 |
|