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" Publishing and distribution of the proceedings of the symposium Author's reference

	Author's reference to the paper "Church-Rosser reducers and decidable tree processing properties" Date: 09.01.1981 Original document language: russian Authors: Anatoli Vasilievich Anisimov Persons: Anatoli Vasilievich Anisimov Images of pages: 1 Back Next document (Letter) Previous document (Experts' decision)
	Switch to Russian | Search | Advanced search | Folders | Themes

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