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

Home > ヘルプ 論文・著書情報 タイトル 和文:   英文: Reduction Rules for Intuitionistic λρ-calculus  著者 和文: Ken-Etsu Fujita, 鹿島 亮, Yuichi Komori, 松田 直祐.   英文: Ken-Etsu Fujita, Ryo Kashima, Yuichi Komori, Naosuke Matsuda.   言語 English  掲載誌/書名 和文:   英文: Studia Logica  巻, 号, ページ Vol. 103    No. 6    pp. 1225-1244 出版年月 2015年  出版者 和文:   英文:   会議名称 和文:   英文:   開催地 和文:   英文:

©2007 Institute of Science Tokyo All rights reserved.