Covering letter, A.P. Ershov->D. Bjorner..., 31.08.1987 to the paper by A.P. Ershov and M.A. Bulyonkov
Covering letter, A. Rasmussen->A.P. Ershov, 10.08.1987to 3 more papers submitted for the Workshop
Covering letter, 31.08.1987to bibliography on Partial Evaluation and Mixed Computation
Covering note, Unknown Author->A.P. Ershov, 03.06.1987to A.P. Ershov, submission of a paper to the Workshop
Evaluation formfor papers submitted to the Workshop
Formal invitation, D. Bjorner->M. A. Bulyonkov, 11.05.1987for Dr. Bulyonkov to participate in the Workshop
Formal invitation, D. Bjorner->A.P. Ershov, 11.05.1987for Acad. Ershov to participate in the Workshop
Formal invitation, D. Bjorner->Ya. M. Barzdin, 11.05.1987for Prof. Barzdin to participate in the Workshop
Formal invitation, D. Bjorner->A.V. Zamulin, 11.05.1987for Prof. Zamulin to participate in the Workshop
Formal invitation, D. Bjorner->B. N. Ostrovsky, 11.05.1987for Dr. Ostrovsky to participate in the Workshop
Formal invitation, D. Bjorner->S. A. Romanenko, 11.05.1987for Prof. Romanenko to participate in the Workshop
Hand-written text, 07.08.1986formal definition of partial and mixed computation (a text to be included into the Preliminary Information about the Workshop)
Information, 04.04.1987about scientific contribution of Prof. Barzdin to the theory and application of mixed computation
Information, 04.04.1987about scientific contribution of B. Ostrovsky to the theory and application of mixed computation
Information, 10.04.1987about scientific contribution of S. Romanenko to the theory and application of mixed computation
Information, 10.04.1987about scientific contribution of N. Nepeivoda to the theory and application of mixed computation
Information, 10.04.1987about scientific contribution of V. Itkin to the theory and application of mixed computation
Information, 11.05.1987a brief guide to the hotel where the Soviet delegation lived, including some practical information, the floor plans and the map
Invoice, 24.06.1987from Courier Service
Justification, 10.07.1986(?)for expediency of Bjorner's visit to Novosibirsk Computing Center (hand-written draft)
1
2
3
4
5
6
7
8
9
Initial order | In alphabetical order | By date |