![]() |
|||||||||||
|
|
|||||||||||
|
Documents associated with Dines Bjorner Programme, D. Bjorner->A.P. Ershov, 15.10.1987 for the Denmark visit of A.P. Ershov and A.V. Zamulin
Telegram, A.P. Ershov->H. F. Sherwood, 04.01.1980Telegram, A.P. Ershov->D. Bjorner, 10.01.1980 Preliminary information, 15.09.1986 Plans of the Workshop, including the theoretical part with basic notions of partial and mixed computation
Telegram, D. Bjorner->A.P. Ershov, 21.01.1980Letter, D. Bjorner->A.P. Ershov, 05.03.1982 The author is informing of finally submitting an abstract and detailed summary as a contribution to the 6th ICSE and informs of his book with further contribution being published around Sept. 1982
Letter, A.P. Ershov->Y. Futamura, 01.03.1988The author thanks for the letter of February 3 and asks to return the text of his key-note speech to make it clear to republish in Springer Proceedings on P&MC. (Handwritten and typewritten variants)
Telegram, D. Bjorner->A.P. Ershov, 30.01.1980Letter, A.P. Ershov->D. Bjorner, 29.01.1980 Telegram, A.P. Ershov->D. Bjorner, 30.12.1987 The author informs that Academician E.Velikhov has approved the invitations of D.Bjorner and N.D.Jones. Formal letters will follow. (Handwritten text.)
Letter, A.P. Ershov->D. Bjorner, 08.02.1978in 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, 20.10.1986First announcement and other materials on the Workshop
Telegram, A.P. Ershov->D. Bjorner, 09.08.1983Request to substitute A. Sandwell because he can not attend the panel discussion
Telegram, A.P. Ershov->D. Bjorner, 18.12.1986about the final number of Soviet participants
Letter, D. Bjorner->A.P. Ershov, 24.01.1977Letter with Attachment, 04.11.1986 TC-2 members are asked to approve by the post ballot co-sponsorship of TC for the Workshop on Partial and Mixed Computation. The attachment contains information on the Workshop.
Letter, A.P. Ershov->D. Bjorner, 16.06.1980Glad for the addressee'a understanding of the reasons for Ershov's failure to come to Denmark; discussing the addressee's plans to visit Novosibirsk and the material he sent to Ershov; hope for the meeting and discussion at the IFIP Congress
Letter, D. Bjorner->A.P. Ershov, 28.10.1987about Bjorner's plans of visiting USSR in May, 1988
Telegram, D. Bjorner->A.P. Ershov, 11.02.1988The author asks to inform of presentation topic title names to IFIP-89.
Teletype Message, A.P. Ershov->D. Bjorner, 15.02.1988In reply to the telegram of 11.02.1988 the IFIP/89 presentations list of four items is sending.
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 |
|