|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Reasoning in Commutative Kleene Algebras from *-free Hypothesesдоклад на конференции
- Автор: Кузнецов Степан Львович
- Международная Конференция : Logica 2021 Conference
- Даты проведения конференции: 28 сентября - 1 октября 2021
- Дата доклада: 29 сентября 2021
- Тип доклада: Устный
- Докладчик: не указан
- Место проведения: Хейнице, Czech Republic
- Добавил в систему: Кузнецов Степан Львович