Can States Be Decidable in Inquisitive Mechanizations? | Tadeusz Litak
Автор: Icelandic Centre of Excellence in Theoretical CS
Загружено: 2025-10-28
Просмотров: 0
Описание:
Rocqshop 2025 session 4 (27 September 2025)
Can States Be Decidable in Inquisitive Mechanizations?
Max Ole Elliger, Tadeusz Litak*
🪧 Slides: https://icetcs.github.io/frocos-itp-t...
🔗 This talk in the annotated programme: https://icetcs.github.io/frocos-itp-t...
🔗 This session in the annotated programme: https://icetcs.github.io/frocos-itp-t...
🔗 FroCoS/ITP/TABLEAUX 2025: https://icetcs.github.io/frocos-itp-t...
🔗 Rocqshop 2025: https://coq-workshop.gitlab.io/2025/
Title image and end title video by Jacob Neumann (https://jacobneu.com); CC BY-SA 4.0
All other material belongs to the speaker(s)/author(s), except as noted.
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке: