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 A. V. Anisimov's paper "Church-Rosser transformers and decidable properties of tree processing"
Date: 07.12.1979(?)
Original document language: Russian
Authors: Andrei Petrovich Ershov

Images of pages:
1


Back
Next document (Church-Rosser transformers and decidable prop...)
Previous document (On the experience of riding two horses in pro...)

Switch to Russian | Search | Advanced search | Folders | Themes
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016