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. Matijasevich's paper "What should we do having proved a decision problem to be unsolvable?" Date: 09.01.1980(?) Original document language: Russian Authors: Andrei Petrovich Ershov Images of pages: 1 Back Next document (What should we do having proved a decision pr...) Previous document (On formal transformations of algorithms)
	Switch to Russian | Search | Advanced search | Folders | Themes

Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016