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 Experts' decision

	Experts' decision on the paper by A.V. Anisimov "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 2 Back Next document (Experts' decision) Previous document (Address list)
	Switch to Russian | Search | Advanced search | Folders | Themes

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