Архив академика А.П.Ершова

Архив

Редакционно-издательская деятельность

Работа в журнале "Information Processing Letters"

IPL. Статья В.К. Сабельфельда (1979)

Статья

Статья
"The logic-termal equivalence is polynomial-time decidable".
Дата: 02.11.1979
Названия статей: "The logic-termal equivalence is polynomial-time decidable"
Оригинальный язык документа: английский
Авторы: Виктор Карлович Сабельфельд

Изображения страниц:


	1	2	3	4	5	6	7	8	9	10	11	12

Назад
Следующий документ (Почтовая карточка)
Предыдущий документ (Письмо )

Switch to English | Поиск | Расширенный поиск | Папки | Темы