Archive
International Conferences, Seminars, Symposiums, Congresses, Schools, and Colloquiums
International Workshop on Partial Evaluation and Mixed Computation
After the Workshop
Telegram, A.P. Ershov->D. Bjorner, 30.12.1987
about approval of Bjorner&Jones invitation
Letter, A.P. Ershov->E. P. Velikhov
with a request to include invitations of Bjorner and Jones in the plan of scientific communications of USSR AS
Telegram, A.P. Ershov->D. Bjorner, 08.01.1988
about correction and typing of papers
Report, 15.01.1988
on results of the scientific trip of Soviet scientists and specialists to Denmark
Note, 08.01.1988
Petition, 25.01.1988
to the Party bureau of the S.I.A. "Informatika"
Telegram, D. Bjorner->A.P. Ershov, 08.02.1988
a request for the text of Ershov's paper by April, 1st at latest
Shedule, 08.02.1988
of posting the papers on mixed computation
Telegram, A.P. Ershov->D. Bjorner, 10.02.1988
about sending the Proceedings papers
Contents, 29.02.1988
of a Special Issue on Partial and Mixed Computation; a letter to authors with a request for final manuscripts is attached
Letter, A.P. Ershov->P. Sestoft, 16.05.1988
about Sestoft's visit to USSR
Draft agreement, 28.05.1988
on publishing the Proceedings of the Workshop
Letter, D. Bjorner->A.P. Ershov, 04.07.1988
thanks for a wonderful day spent with A.P. Ershov in Leningrad
Notes, 08.11.1987-11.11.1987
Covering Letter, A. Rasmussen->A.P. Ershov, 25.11.1987
for the group picture of the workshop.
Receipt, 03.10.1987
from Worldwide Courier Express
List, A.P. Ershov->Osami Takeo, 07.06.1988
of misprints in Ershov's paper (a typed and hand-written copies)
Telegram, A.P. Ershov->J. L. Rosenfeld, 29.06.1988
about sending the corrections to IFIP Bulletine
Badges
of some Workshop participants

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