| Hand-written notes, 28.04.1982(?) chronology of pre-publishing work with A. P. Ershov's paper "Abstract computability on algebraic structures"
Abstract computability in algebraic systems, 28.04.1982typed copy of the paper
Hand-written notes, 22.11.1980(?)chronology of pre-publishing work with F. L. Bauer's paper "Algorithms and algebra"
Algorithms and algebra, 22.11.1980translation into Russian by A. P. Ershov
Hand-written notes, 04.06.1980(?)chronology of pre-publishing work with V. M. Glushkov's paper "On formal transformations of algorithms"
On formal transformations of algorithms, 04.06.1980typed copy of the paper
Hand-written notes, 09.01.1980(?)chronology of pre-publishing work with Yu. Matijasevich's paper "What should we do having proved a decision problem to be unsolvable?"
What should we do having proved a decision problem to be unsolvable?, 09.01.1980typed copy of the paper
Hand-written notes, 29.12.1979(?)chronology of pre-publishing work with A. O. Buda's paper "On the experience of riding two horses in programming"
On the experience of riding two horses in programming, 29.12.1979typed copy of the paper
Hand-written notes, 07.12.1979(?)chronology of pre-publishing work with A. V. Anisimov's paper "Church-Rosser transformers and decidable properties of tree processing"
Church-Rosser transformers and decidable properties of tree processing, 07.12.1979typed copy of the paper
Hand-written notes, 14.09.1981(?)chronology of pre-publishing work with S. Kleene's paper "Origins of recursive function theory"
Origins of recursive function theory, 14.09.1981typed copy of the paper
Origins of recursive function theory, 27.04.1982translation into Russian by N. V. Belyakina
Hand-written notes, 14.11.1981(?)chronology of pre-publishing work with Supplement 1
Supplement 1, 14.11.1981list of participants of the symposium
Hand-written notes, 14.11.1982(?)chronology of pre-publishing work with Supplement 2
Supplement 2, 14.11.1982technical program
Hand-written notes, 14.11.1982(?)chronology of pre-publishing work with Supplement 3
1
2
3
4
Initial order | In alphabetical order | By date |
