|
|
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|||||||||||
|
|
Documents associated with Dines Bjorner Letter, D. Bjorner->A.P. Ershov, 05.08.1986 Plans for a one Week Advanced, Residential, Workshop on Partial & Mixed Computations (with hand-written remarks by A.P. Ershov)
Telegram, D. Bjorner->A.P. Ershov, 08.02.1988a request for the text of Ershov's paper by April, 1st at latest
Letter, D. Bjorner->A.P. Ershov, 17.07.1986about his plans to visit his colleagues in Moscow and Novosibirsk; the proposed itinerary and seminar abstracts are attached
Letter, D. Bjorner->A.P. Ershov, 21.03.1978on one technical and two administrative issues
Articles, 25.06.2001(?)"A. Ershov's legacy" (by A.G. Marchuk) and "Computer Science - informatika!". "Nauka v Sibiri", ¹ 25, June 2001
Telegram, A.P. Ershov->D. Bjorner, 10.02.1988about sending the Proceedings papers
Note, D. Bjorner->A.P. Ershov, 20.10.1987some questions to A.P. Ershov
Letter, A.P. Ershov->K. W. Hansen, 26.04.1985The author suggests to cooperate in the international project on the ADA Standart.
Letter with Attachments, 31.01.1986Letter to TC 2 members with invitation to the next WG 2.2 meeting (Gl. Avernaes, 29-30.08.1986) immediately following the Working Conference on Formal Description of Programming Concepts. There are attached a list of invited observers, an information on aim and scope of WG 2.2 and a registration form.
Letter, D. Bjorner->A.P. Ershov, 02.05.1978Letters, 03.06.1986-11.08.1986 concering non-admittance of an invitee to the Trondheim Working Conference. (Doc. "St.Pierre-10".)
Item 11. (Name does not exist in this language.)Covering note, D. Bjorner->A.P. Ershov, 11.05.1982 Justification, 10.07.1986(?) for expediency of Bjorner's visit to Novosibirsk Computing Center (hand-written draft)
Letter, D. Bjorner->A.P. Ershov, 11.03.1980Visit of A.P.Ershov to Denmark is discussed, recent projects of CHILL and ADA compiler construction are outlined.
Letter, D. Bjorner->A.P. Ershov, 04.07.1988thanks for a wonderful day spent with A.P. Ershov in Leningrad
Telegram, A.P. Ershov->D. Bjorner, 15.01.1979Printout, D. Bjorner->M. A. Bulyonkov Teletype Message, A.P. Ershov->D. Bjorner, 01.09.1988(?) The author informs that misprint corrections are airmailed today.
Letter, D. Bjorner->A.P. Ershov, 14.03.19791 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 | |
|
|||||
|
|||||
|
|||||
|
|||||
|
