chronology of pre-publishing work with A. V. Anisimov's paper "Church-Rosser transformers and decidable properties of tree processing"

typed copy of the paper

chronology of pre-publishing work with A. O. Buda's paper "On the experience of riding two horses in programming"

typed copy of the paper

chronology of pre-publishing work with Yu. Matijasevich's paper "What should we do having proved a decision problem to be unsolvable?"

typed copy of the paper

chronology of pre-publishing work with Yu. Manin's paper "Expanding constructive universes"

typed copy of the paper

chronology of pre-publishing work with E. H. Tyugu's paper "The structural synthesis of programs"

typed copy of the paper

chronology of pre-publishing work with G. M. Adel'son-Vel'skii's paper "What can we do with problems of exhaustive search?"

typed copy of the paper

chronology of pre-publishing work with H. Zemanek's paper "Dixit Algorizmi. His Background, his Personality, his Work, and his Influence"

preprint in English

chronology of pre-publishing work with J. Barzdin's paper "On inductive synthesis of programs"

typed copy of the paper

chronology of pre-publishing work with A. A. Letichevsky's paper "On finding invariant relations of programs"

"On finding invariant relations of programs"

chronology of pre-publishing work with V. M. Glushkov's paper "On formal transformations of algorithms"