Валинкин Михаил Валерьевич

Доклады и лекции в базе данных Math-Net.Ru

1. Реляционные модели для исчисления Ламбека с субэкспоненциалом нелокального сокращения
   М. В. Валинкин, С. Л. Кузнецов
   Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
   23 декабря 2024 г. 16:00   
2. Исчисление Ламбека с модальностью локального сокращения, его свойства и семантика
   М. В. Валинкин
   Семинар С. Л. Кузнецова и С. О. Сперанского "Вероятностные и субструктурные логические системы"
   27 марта 2024 г. 18:15