Перейти к основному содержанию
документы
об архиве
о проекте
А.П. Ершов
in English
Статья
Архив
Редакционно-издательская деятельность
Работа в журнале "Information Processing Letters"
IPL. Статья В.К. Сабельфельда (1981)
Статья
Статья
"The tree equivalence of linear recursive schemata is polinomial-time decidable".
Дата:
13.05.1981
Авторы:
Виктор Карлович Сабельфельд
Назад