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.
Enclosures
to Bjorner's proposal
Justification
Letter, 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. Bjorner
with proposed two-day shedule of Bjorner's scientific visit
Materials
Materials of Prof. Borner's seminars at the Technical University of Denmark
Printout, D. Bjorner->M. A. Bulyonkov
Badges
of some Workshop participants
Letter, A.P. Ershov->E. P. Velikhov
Letter, 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.1978
Letter, 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.1978
Prof. 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.1978
Discusiion 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.1978
Letter, 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
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016