|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Infinitary action logic with exponentiationдоклад на конференции
- Авторы: Кузнецов Степан Львович, Сперанский Станислав Олегович
- Международная Конференция : Logical Perspectives 2021: Summer School and Workshop
- Даты проведения конференции: 14-19 июня 2021
- Дата доклада: 18 июня 2021
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, г. Москва, Russia
- Добавил в систему: Кузнецов Степан Львович