Регистрационная карточка на статью "The tree equivalence of linear recursive schemata is polinomial-time decidable". Дата: 22.10.1981 Названия статей: "The tree equivalence of linear recursive schemata is polinomial-time decidable" Оригинальный язык документа: английский Авторы: Андрей Петрович Ершов Организации: Журнал "Information Processing Letters" Персоналии: Виктор Карлович Сабельфельд
