Documents associated with Boris N. Ostrovsky

Conclusion (project), 06.04.1982
Letter, A.P. Ershov->M. Paul, 23.02.1981
in reply to the letter of Feb. 4, 1981 concerning two potential contributions by Letichevsky and Ostrovsky
Letter, H. Partsch->A.P. Ershov, 16.12.1985
a paper by Ershov&Ostrovsky has been accepted for presentation at the WC
Telegram, A.P. Ershov->H. Partsch, 01.11.1985
a request to consider 3 papers by Soviet authors directly at the PC meeting
Memo, A.P. Ershov->V. D. Kantaev, 01.09.1983
Telegram, B. N. Ostrovsky->A.P. Ershov, 31.12.1984
Congratulations with the new title
List, 20.02.1979
Abstract, 01.04.1982
a typed copy of the paper abstract
Telegram, A.P. Ershov->H. Partsch, 01.11.1985
Kindly request to consider three sent contributions at the PC meeting.
Paper, 28.02.1982
a hand-written variant of the paper
Paper, 22.03.1982
a typed copy of the paper by A.P. Ershov and B.N. Ostrovsky
Experts' decision, 01.03.1986(?)
of a paper "Implementation of controllable mixed computation into system for the automatic development of language-oriented parsers" by Ershov&Ostrovsky
Letter, A.P. Ershov->V. G. Radchenko, 26.08.1987
about a preparation for participation in International Workshop on Partial Evaluation and Mixed Computation; a request to help Boris N.Ostrovsky in a preparation for Workshop. /Handwritten text./
Telex, D. Bjorner->A.P. Ershov, 10.01.1987
with the list of Soviet participants invited at the cost of Organizing Committee
Text (hand-written), 08.10.1985-14.10.1985
of Ershov&Ostrovsky paper "Controllable Mixed Computation and its Application to Systematic Development of Language-Oriented Parsers" presented at the Working Conference
Questionnaire
by B. N. Ostrovsky.
Text (hand-written), 01.09.1986
Russian variant of the paper submitted to the Working Conference
Paper, 23.09.1986
a typed copy of the talk at the Working Conference
Note (hand-written), 15.02.1986
with a table: programming languages and lengths of the corresponding programs
Note (hand-written), 23.01.1986
with a flow diagram

1 2 3
Initial order | In alphabetical order | By date


Back

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