|
モトウラ ショウタ
Shota Motoura
本浦 庄太 所属 追手門学院大学 理工学部 数理・データサイエンス学科 職種 助教 |
|
| 発表年月日 | 2012/11/17 |
| 発表テーマ | On the semantic meaning of reduction axioms in public announcement logic |
| 会議名 | The 47th Mathematical Logic Group Meeting |
| 発表形式 | 口頭（一般） |
| 発表者・共同発表者 | 本浦 庄太 |