Badges of some Workshop participants
Contents, 29.02.1988of 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.1987for the group picture of the workshop.
Draft agreement, 28.05.1988on publishing the Proceedings of the Workshop
Letter, A.P. Ershov->E. P. Velikhovwith 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.1988about Sestoft's visit to USSR
Letter, D. Bjorner->A.P. Ershov, 04.07.1988thanks for a wonderful day spent with A.P. Ershov in Leningrad
List, A.P. Ershov->Osami Takeo, 07.06.1988of 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.1988to the Party bureau of the S.I.A. "Informatika"
Receipt, 03.10.1987from Worldwide Courier Express
Report, 15.01.1988on results of the scientific trip of Soviet scientists and specialists to Denmark
Shedule, 08.02.1988of posting the papers on mixed computation
Telegram, A.P. Ershov->D. Bjorner, 30.12.1987about approval of Bjorner&Jones invitation
Telegram, A.P. Ershov->D. Bjorner, 08.01.1988about correction and typing of papers
Telegram, D. Bjorner->A.P. Ershov, 08.02.1988a request for the text of Ershov's paper by April, 1st at latest
Telegram, A.P. Ershov->D. Bjorner, 10.02.1988about sending the Proceedings papers
Telegram, A.P. Ershov->J. L. Rosenfeld, 29.06.1988about sending the corrections to IFIP Bulletine
Initial order | In alphabetical order | By date |