Documents associated with Viktor K. Sabelfeld

Post card, 29.10.1981
Referee's report, 22.06.1984
Minutes ¹1, 17.01.1995
Item 4. (Name does not exist in this language.)
Minutes ¹3, 18.09.1990
Working notes, 19.11.1984
taken during the Conference sessions
Letter, A.P. Ershov->F. L. Bauer, 31.03.1986
about the forth-coming visit to Germany
Telegram, A.P. Ershov->F. L. Bauer..., 08.04.1986
The authors inform about a date of their arrival in Munich. They would like to spend Monday at the addressee's institute.
Article, 20.10.1981
The 2-nd form of the paper "The tree equivalence of linear recursive schemata is polinomial-time decidable".
Shorthand Record (draft), 06.04.1982
Letter, G. I. Marchuk->M. A. Lavrentiev
Request to provide for participation of the Cmputing Center staf members in the International Conference on Formalization of semantics of programming languages and compiler construction in September 1974
Working Notes, 03.11.1984
made in preparation and during the seminar "Logis and programming"
Extract, 29.09.1980
Sample of the Translation
Extract, 30.05.1977
Receipt, 19.10.1981
Referee's report, 07.08.1985
Item 6. (Name does not exist in this language.)
Covering letter, A.P. Ershov->Budykho, 22.01.1986
to the paper by V.K. Sabelfeld and L.V. Chernobrod, recommended to the publishing.
Letter, I. V. Klokachev ->A.P. Ershov, 07.02.1972
Discussion of the membership and dates of the symposium.

1 2 3 4 5 6 7 8 9 10 11
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