documents
about archive
about project
Andrei Ershov
in Russian
Archive
International Conferences, Seminars, Symposiums, Congresses, Schools, and Colloquiums
International Symposium "Algorithms in Modern Mathematics and Computer Science"
Preliminary proceedings
Hand-written notes
Hand-written notes
chronology of pre-publishing work with Yu. Manin's paper "Expanding constructive universes"
Date: 11.01.1980(?)
Original document language: Russian
Authors:
Andrei Petrovich Ershov
Images of pages:
1
Back
Next document (Expanding constructive universes)
Previous document (On inductive synthesis of programs)
Switch to Russian
|
Search
|
Advanced search
|
Folders
| Themes
Home
Help
in Russian
Webmaster
©
Ershov's Institute of Informatics Systems
, 2000-2016