Archive
International Conferences, Seminars, Symposiums, Congresses, Schools, and Colloquiums
International Symposium "Algorithms in Modern Mathematics and Computer Science"
Preliminary proceedings
Abstract computability in algebraic systems, 28.04.1982
typed copy of the paper
Algorithm in modern mathematics and computer science, 27.01.1982(?)
typed copy of the paper
Algorithm in modern mathematics and computer science, 27.01.1982
translation into Russian by G. S. Tseytin
Algorithms in various contexts, 19.06.1982(?)
typed copy of the paper
Algorithms in various contexts, 19.06.1982
translation into Russian by G. V. Sheina
Algorithms and algebra, 22.11.1980
translation into Russian by A. P. Ershov
Church-Rosser transformers and decidable properties of tree processing, 07.12.1979
typed copy of the paper
Contents, 22.10.1981
a draft copy of "Contents" for the English edition with hand-written remarks by A. P. Ershov
Contents (hand-written), 26.11.1982
"Contents" for the Russian edition
Dixit Algorizmi. His Background, his Personality, his Work, and his Influence., 01.04.1980
preprint in English
Dixit Algorizmi. His Background, his Personality, his Work, and his Influence, 19.11.1981
camera-ready copy of the paper
Dixit Algorizmi. His Background, his Personality, his Work, and his Influence, 26.11.1982
hand-written translation into Russian made by A. P. Ershov (started on 20.11.81)
Expanding constructive universes, 11.01.1980
typed copy of the paper
Foreword, 27.04.1982
Foreword to the English edition of Proceedings
Foreword (hand-written), 13.11.1982
translation into Russian by A. P. Ershov
Foreword to the English edition, 16.06.1981
preliminary version
From logicism to proceduralism, 23.10.1980
typed copy of the paper
Hand-written notes, 27.04.1982
chronology of pre-publishing work with Contents
Hand-written notes, 26.11.1982(?)
how to work with Contents of the Russian edition
Hand-written notes, 27.04.1982(?)
chronology of pre-publishing work with Foreword

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