Вклад участника
(новейшие | старейшие) Просмотреть (20 более новых | 20 более старых) (20 | 50 | 100 | 250 | 500)
- 00:47, 21 февраля 2017 (разн. | история) . . (+27) . . м Классы NP, coNP, Σ₁, Π₁ (poly => \mathit{poly})
- 04:51, 18 января 2017 (разн. | история) . . (0) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (→\lambda\Pi-исчисление)
- 04:41, 18 января 2017 (разн. | история) . . (+1) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (→Неразрешимость задачи вывода типов в \lambda\Pi-исчислении)
- 04:19, 18 января 2017 (разн. | история) . . (+1) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (→Неразрешимость задачи вывода типов в \lambda\Pi-исчислении)
- 02:53, 18 января 2017 (разн. | история) . . (+2) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (→\lambda\Pi-исчисление)
- 02:03, 18 января 2017 (разн. | история) . . (+48) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (→Задача вывода типов в \lambda\Pi-исчислении)
- 23:19, 17 января 2017 (разн. | история) . . (-11) . . Неразрешимость задачи вывода типов в языке с зависимыми типами
- 23:08, 17 января 2017 (разн. | история) . . (+46) . . Неразрешимость задачи вывода типов в языке с зависимыми типами
- 22:25, 17 января 2017 (разн. | история) . . (+107) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (→См. также)
- 22:23, 17 января 2017 (разн. | история) . . (+111) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (→См. также)
- 22:22, 17 января 2017 (разн. | история) . . (+48) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (→См. также)
- 22:20, 17 января 2017 (разн. | история) . . (+60) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (См. также статью про лямбда куб)
- 22:19, 17 января 2017 (разн. | история) . . (+1388) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (Лирическое вступление)
- 22:08, 17 января 2017 (разн. | история) . . (+6) . . м Неразрешимость задачи вывода типов в языке с зависимыми типами
- 22:04, 17 января 2017 (разн. | история) . . (+235) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (→См. также)
- 22:01, 17 января 2017 (разн. | история) . . (+110) . . м Неразрешимость задачи вывода типов в языке с зависимыми типами (→Неразрешимость задачи вывода типов в \lambda\Pi-исчислении)
- 21:58, 17 января 2017 (разн. | история) . . (+50) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (→Задача вывода типов в \lambda\Pi-исчислении: More english)
- 21:57, 17 января 2017 (разн. | история) . . (+271) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (→\lambda\Pi-исчисление: English terms)
- 21:46, 17 января 2017 (разн. | история) . . (+1) . . м Неразрешимость задачи вывода типов в языке с зависимыми типами (→Задача вывода типов в \lambda\Pi-исчислении)
- 21:44, 17 января 2017 (разн. | история) . . (+389) . . Неразрешимость задачи вывода типов в языке с зависимыми типами (См. также, источники и категории)
(новейшие | старейшие) Просмотреть (20 более новых | 20 более старых) (20 | 50 | 100 | 250 | 500)