【重要】T2R2・STARSearchの停止と後継システムについて English

Home > ヘルプ 論文・著書情報 タイトル 和文:   英文: Cut-free sequent calculi for the provability logic D  著者 和文: 鹿島 亮, Taishi Kurahashi, Sohei Iwata.   英文: Ryo Kashima, Taishi Kurahashi, Sohei Iwata.   言語 English  掲載誌/書名 和文:   英文: arXiv  巻, 号, ページ         出版年月 2023年10月  出版者 和文:   英文:   会議名称 和文:   英文: The 17th Asian Logic Conference  開催地 和文: 天津  英文:   DOI https://doi.org/10.48550/arXiv.2310.16369

©2007 Institute of Science Tokyo All rights reserved.