International Conferences, Seminars, Symposiums, Congresses, Schools, and Colloquiums
International Symposium "Algorithms in Modern Mathematics and Computer Science"
chronology of pre-publishing work with Yu. Manin's paper "Expanding constructive universes"
Original document language: Russian
Andrei Petrovich Ershov
Images of pages:
Next document (Expanding constructive universes)
Previous document (On inductive synthesis of programs)
Switch to Russian
Ershov's Institute of Informatics Systems