Участник | |
---|---|
1 |
Башмаков С. И., Кошелева А. В., Рыбаков В. В. Доклад Об унификации и пассивных правилах в многомодальной временной логике линейного времени и знания LFPK On unification and passive rules in multi-modal temporal logic of linear time and knowledge LFPK |
2 |
Кощеева А. К. Доклад Новая константа в суперинтуиционистской логике L3: аксиоматика |
3 |
Лукьянчук А. Н. Доклад Временная интранзитивная логика LTK_r Temporal intransitive logic LTK_r |
4 |
Римацкий В. В. Доклад Унификация временной логики с оператором «Next» Unification of a temporal logic with the "Next" operator |
5 |
Шилов Н. В. Доклад Метод схем программ для разрешимости пропозициональных программных логик Program Schemata Technique for Propositional Program Logics |
приоритет 2030
мой сфу
почта
расписание
Обращения граждан
библиотека
екурсы
оплата услуг
доп. образование
пресс-служба
еще
фмш
вакцинация
snoword
наши сми
сфу научный
эдо
цифровая кафедра