|
|||||||||||
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.1985a paper by Ershov&Ostrovsky has been accepted for presentation at the WC
Telegram, A.P. Ershov->H. Partsch, 01.11.1985a request to consider 3 papers by Soviet authors directly at the PC meeting
Memo, A.P. Ershov->V. D. Kantaev, 01.09.1983Telegram, B. N. Ostrovsky->A.P. Ershov, 31.12.1984 Congratulations with the new title
List, 20.02.1979Abstract, 01.04.1982 a typed copy of the paper abstract
Telegram, A.P. Ershov->H. Partsch, 01.11.1985Kindly request to consider three sent contributions at the PC meeting.
Paper, 28.02.1982a hand-written variant of the paper
Paper, 22.03.1982a 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.1987about 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.1987with the list of Soviet participants invited at the cost of Organizing Committee
Text (hand-written), 08.10.1985-14.10.1985of Ershov&Ostrovsky paper "Controllable Mixed Computation and its Application to Systematic Development of Language-Oriented Parsers" presented at the Working Conference
Questionnaireby B. N. Ostrovsky.
Text (hand-written), 01.09.1986Russian variant of the paper submitted to the Working Conference
Paper, 23.09.1986a typed copy of the talk at the Working Conference
Note (hand-written), 15.02.1986with a table: programming languages and lengths of the corresponding programs
Note (hand-written), 23.01.1986with a flow diagram
1 2 3 Initial order | In alphabetical order | By date Back |
||
Switch to Russian | Search | Advanced search | Folders | Themes |
|