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