A copy of a tourist guide to the Funen isles
A copyof a tourist guide to the Helnæs island
A list, A.P. Ershov->M. A. Bulyonkov, 13.07.1987of instructions for M.A. Bulyonkov to process the papers submitted for the Workshop
A list of papers, 24.06.1987submitted for the Workshop on Partial and Mixed Computation
A paper, 20.03.1987from the "Computing" journal devoted to the theory of partial evaluation that refers to Ershov's lecture at the Workshop
A tourist guide, 11.05.1987to Copenhagen
A tourist guide, 11.05.1987to the Funen isles
Announcement, 15.10.1986information about the Workshop with a suggestion to everyone interested to present his results in this field to A.P Ershov in order to be mentioned in Ershov's talk
Bibliography, 27.02.1987of papers on mixed computation by Soviet authors (with short abstracts)
Bibliography, 17.03.1987Mixed Computation Papers by Soviet Authors
Bibliography, A.V. Zamulin->D. Bjorner, 22.04.1987additions to the list of Mixed Computation Papers by Soviet authors
Bibliography, 19.06.1987on Partial Evaluation
Biographical information, 23.12.1986about N.N. Nepeivoda (for preparation of documents for getting visa to Denmark)
Call for papers, 28.02.1987official Call for papers and Invitation to an IFIP TC-2 Sponcored Workshop on Partial and Mixed Computation; the registration form enclosed
Card, D. Bjorner->A.P. Ershov, 17.03.1987
Copy of a letter, D. Bjorner->E. P. Velikhov, 18.05.1986to Acad. E. Velikhov with an invitation to chair the Plenary Session "IT drives in the Old World, the New World and in the Land of the Rising Sun" on IFIP Congress '86; full support to this idea was received from A.P. Ershov and many leading scientists...
Copy of a telegram, D. Bjorner->A.P. Ershov, 30.04.1987official invitation for A.P. Ershov has been posted
Copy of a telegram, D. Bjorner->A.P. Ershov, 30.04.1987official invitations for six Soviet scientists have been posted
Courier Service notification, 07.08.1987about correspondence from USA and Japan sent by express-mail to the Siberian Branch of USSR AS
Courier Service notificatioon, 24.06.1987about correspondence from USA sent by express-mail to A.P. Ershov
1
2
3
4
5
6
7
8
9
Initial order | In alphabetical order | By date |