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