documents   about archive   about project   Andrei Ershov   in Russian

Archive IFIP Working Conference "Program Specification and Transformation" Text (hand-written)

	Text (hand-written) on reduction refinement Date: 16.01.1986 Original document language: russian Authors: Boris N. Ostrovsky Images of pages: 1 2 3 Back Next document (Text (hand-written)) Previous document (Text (hand-written))
	Switch to Russian | Search | Advanced search | Folders | Themes

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