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

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