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.1980
Telegram, 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.1980
Letter, 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.1988
The 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.1980
Letter, 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.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, 20.10.1986
First announcement and other materials on the Workshop
Telegram, A.P. Ershov->D. Bjorner, 09.08.1983
Request to substitute A. Sandwell because he can not attend the panel discussion
Telegram, A.P. Ershov->D. Bjorner, 18.12.1986
about the final number of Soviet participants
Letter, D. Bjorner->A.P. Ershov, 24.01.1977
Letter 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.1980
Glad 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.1987
about Bjorner's plans of visiting USSR in May, 1988
Telegram, D. Bjorner->A.P. Ershov, 11.02.1988
The author asks to inform of presentation topic title names to IFIP-89.
Teletype Message, A.P. Ershov->D. Bjorner, 15.02.1988
In 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
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016