|
鹿島亮 2020年 研究業績一覧 (2件 / 54件)
論文
-
Ryo Kashima,
Naosuke Matsuda,
Takao Yuyama.
Term-Space Semantics of Typed Lambda Calculus,
Notre Dame Journal of Formal Logic Volume 61, Number 4, 2020,
Vol. 61,
No. 4,
pp. 591-600,
Nov. 2020.
-
Kento Takagi,
Ryo Kashima.
On the completeness and the decidability of strictly monadic second‐order logic,
Mathematical Logic Quarterly,
Vol. 66,
No. 4,
pp. 438-447,
2020.
[ BibTeX 形式で保存 ]
[ 論文・著書をCSV形式で保存
]
[ 特許をCSV形式で保存
]
|