|
モトウラ ショウタ
Shota Motoura
本浦 庄太 所属 追手門学院大学 理工学部 数理・データサイエンス学科 職種 助教 |
|
| 発表年月日 | 2022/01/12 |
| 発表テーマ | On Inverse Operators in Dynamic Epistemic Logic |
| 会議名 | Logical Foundations Of Computer Science, LFCS 2022 |
| 学会区分 | 国際学会 |
| 発表形式 | 口頭（一般） |
| 国名 | アメリカ合衆国 |
| 開催地名 | Online due to COVID-19 (the original venue was Florida) |
| 開催期間 | 2022/01/10～2022/01/13 |
| 発表者・共同発表者 | Shota Motoura,Shin-ya Katsumata |