2020年10月9日
Constructive Dynamic Logic of Relation Changers
3rd DaLí Workshop on Dynamic Logic: New Trends and Applications
- 記述言語
- 英語
- 会議種別
- 口頭発表（一般）
- 開催地
- Czech (online)
秦野 亮
ハタノ リョウ (HATANO RYO)
更新日: 01/31