|
鹿島亮 2008年 研究業績一覧 (3件 / 62件)
論文
-
Ryo Kashima,
Keishi Okamoto.
General models and completeness of first-order modal mu-calculus,
Journal of Logic and Computation,
Vol. 18,
No. 4,
pp. 497-507,
Aug. 2008.
-
Ryo Ishigaki,
Ryo Kashima.
Sequent calculi for some strict implication logics,
Logic Journal of the IGPL,
Vol. 16,
No. 2,
pp. 155-174,
Apr. 2008.
著書
[ BibTeX 形式で保存 ]
[ 論文・著書をCSV形式で保存
]
[ 特許をCSV形式で保存
]
|