研究者情報 | 神奈川大学

キノシタ　ヨシキ Kinoshita Yoshiki 木下　佳樹所属神奈川大学情報学部計算機科学科神奈川大学大学院理学研究科理学専攻（情報科学領域）職種教授
言語種別	日本語
発行・発表の年月	1999/04
形態種別	学術雑誌
査読	査読あり
標題	Proving Through Commutative Diagrams, in "Logic, Language and Computation, volume 2" (eds. Lawrence S. Moss, Jonathan Ginzburg, and Maarten de Rijke)
執筆形態	共著
掲載誌名	CSLI Lecture Notes (University of Chicago Press)
巻・号・頁	96,128-142頁
著者・共著者	Yoshiki Kinoshita and Koichi Takahashi
概要	ISBN 1575861801