"RYO KASHIMA","ラムダ計算の単純型付け体系の完全性について","日本数学会2019年度秋季総合分科会","日本数学会2019年度秋季総合分科会 数学基礎論および歴史分科会講演アブストラクト",,,,,2019,Sept.
"Kento Takagi,Ryo Kashima","On the Completeness and the Decidability of Strictly Monadic Second-Order Logic",,"Research Reports on Mathematical and Computing Sciences","Department of Mathematical and Computing Sciences Tokyo Institute of Technology",,,,2019,Apr.
"Kento Takagi,RYO KASHIMA","狭義単項二階述語論理の完全性について","日本数学会2019年会","日本数学会2019年度年会 数学基礎論および歴史分科会講演アブストラクト",,,,"p. 35",2019,Mar.