1:23:19
Лекция 13. С.Л. Кузнецов, Т.Г. Пшеницын. Субструктурные логики
МЦМУ МИАН
1:38:25
Лекция 7. С.Л. Кузнецов, Т.Г. Пшеницын. L-модели и R-модели для исчисления Ламбека
1:34:32
Лекция 6. С.Л. Кузнецов, Т.Г. Пшеницын. Интерполяционная лемма Роорды. Теорема Пентуса
1:33:03
Лекция 4. С.Л. Кузнецов, Т.Г. Пшеницын. Грамматики Ламбека и контекстно-свободные грамматики
1:28:58
Лекция 11. С.Л. Кузнецов, Т.Г. Пшеницын. Субструктурные логики
1:29:20
Лекция 10. С.Л. Кузнецов, Т.Г. Пшеницын. Субструктурные логики
1:29:53
Лекция 12. С.Л. Кузнецов, Т.Г. Пшеницын. Субструктурные логики
1:29:58
Лекция 8. С.Л. Кузнецов, Т.Г. Пшеницын. Линейная логика
1:27:01
Лекция 9. С.Л. Кузнецов, Т.Г. Пшеницын. Неразрешимость линейной логики
1:40:51
Лекция 3. С.Л. Кузнецов, Т.Г. Пшеницын. PSPACE-трудность логик между FL и Int. Теорема об ...
1:34:23
Лекция 2. С.Л. Кузнецов, Т.Г. Пшеницын. Класс сложности PSPACE: теорема Сэвича и PSPACE-полнота ...
1:30:33
Лекция 1. С.Л. Кузнецов, Т.Г. Пшеницын. Решётки с делениями и субструктурные исчисления
1:36:23
Лекция 5. С.Л. Кузнецов, Т.Г. Пшеницын. Построение грамматики Ламбека по контекстно-свободной ...