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 Church-Rosser transformers and decidable properties of tree processing

	Church-Rosser transformers and decidable properties of tree processing typed copy of the paper Date: 07.12.1979 Original document language: russian Authors: Anatoli Vasilievich Anisimov Images of pages: 1 2 3 4 5 6 7 8 9 Back Next document (Hand-written notes) Previous document (Hand-written notes)
	Switch to Russian | Search | Advanced search | Folders | Themes

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