2020年12月20日
対偶を持つ対合的部分構造論理における結合則の族について
証明論研究集会2020
- 開催年月日
- 2020年12月19日 - 2020年12月20日
- 記述言語
- 日本語
- 会議種別
- 口頭発表（一般）
- リンク情報
-
- 共同研究・競争的資金等の研究課題
- 部分構造論理における結合則の族の階層性
関 隆宏
セキ タカヒロ (Takahiro Seki)
更新日: 04/11