Archive
IFIP
Working Conference "Program Specification and Transformation"
Working notes (hand-written), 13.04.1986
preparation for the paper in Bad Toelz (written during the flight)
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
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
Text (hand-written), 14.02.1986
a draft for general organization of Ershov's talk (written during the flight)
Note (hand-written), 15.02.1986
with a table: programming languages and lengths of the corresponding programs
Text (hand-written), 06.02.1986-08.02.1986
of the paper fragments translated into English
Note (hand-written), 23.01.1986
with a flow diagram
Text (hand-written), 20.01.1986
on justification of a mixed computation control scheme for construction of language-oriented analyzers
Text (hand-written), 17.01.1986
on mixed computation semantics
Text (hand-written), 16.01.1986
on reduction refinement
Text (hand-written), 14.01.1986-15.01.1986
on reduction refinement
Envelope-recipe, 17.04.1986
for Ershov's glasses
Train time-table, 18.04.1986
Munich -- Hamburg
Train time-table, 18.04.1986
Munich -- Dortmund
Train time-table, 21.01.1986
Munich -- Bad Toelz
Hotel card, 11.04.1986-13.04.1986
from the Hotel of the USSR Academy of Sciences
Note (hand-written), 21.04.1986
expenses during the trip
Letter, L. G. L. T. Meertens->A.P. Ershov, 13.03.1986
about publishing the Proceedings of the IFIP TC2 Working Conference on Program Specification and Transformation
"Papery souvenirs", 13.04.1986
tickets, a baggage check, a drawing by Bauer's grandson, a receipt

1 2 3 4
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