Archive
International Conferences, Seminars, Symposiums, Congresses, Schools, and Colloquiums
International Workshop on Partial Evaluation and Mixed Computation
Preparation for the Workshop
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.1987
to 3 more papers submitted for the Workshop
Covering letter, 31.08.1987
to bibliography on Partial Evaluation and Mixed Computation
Covering note, Unknown Author->A.P. Ershov, 03.06.1987
to A.P. Ershov, submission of a paper to the Workshop
Evaluation form
for papers submitted to the Workshop
Formal invitation, D. Bjorner->M. A. Bulyonkov, 11.05.1987
for Dr. Bulyonkov to participate in the Workshop
Formal invitation, D. Bjorner->A.P. Ershov, 11.05.1987
for Acad. Ershov to participate in the Workshop
Formal invitation, D. Bjorner->Ya. M. Barzdin, 11.05.1987
for Prof. Barzdin to participate in the Workshop
Formal invitation, D. Bjorner->A.V. Zamulin, 11.05.1987
for Prof. Zamulin to participate in the Workshop
Formal invitation, D. Bjorner->B. N. Ostrovsky, 11.05.1987
for Dr. Ostrovsky to participate in the Workshop
Formal invitation, D. Bjorner->S. A. Romanenko, 11.05.1987
for Prof. Romanenko to participate in the Workshop
Hand-written text, 07.08.1986
formal definition of partial and mixed computation (a text to be included into the Preliminary Information about the Workshop)
Information, 04.04.1987
about scientific contribution of Prof. Barzdin to the theory and application of mixed computation
Information, 04.04.1987
about scientific contribution of B. Ostrovsky to the theory and application of mixed computation
Information, 10.04.1987
about scientific contribution of S. Romanenko to the theory and application of mixed computation
Information, 10.04.1987
about scientific contribution of N. Nepeivoda to the theory and application of mixed computation
Information, 10.04.1987
about scientific contribution of V. Itkin to the theory and application of mixed computation
Information, 11.05.1987
a brief guide to the hotel where the Soviet delegation lived, including some practical information, the floor plans and the map
Invoice, 24.06.1987
from 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

Switch to Russian | Search | Advanced search | Folders | Themes
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016