研究者情報 | 神奈川大学

キノシタ　ヨシキ Kinoshita Yoshiki 木下　佳樹所属神奈川大学情報学部計算機科学科神奈川大学大学院理学研究科理学専攻（情報科学領域）職種教授
言語種別	日本語
発行・発表の年月	2003/03
形態種別	その他論文
標題	Essentially algebraic structure for Kleene algebra with tests and its application to semantics of while programs
執筆形態	共著
掲載誌名	IPSJ Transactions on Programming (Information Processing Society of Japan)
掲載区分	国内
出版社・発行元	情報処理学会
巻・号・頁	44(SIG 4(PRO 17)),47-53頁
著者・共著者	Hitoshi Furusawa and Yoshiki Kinoshita