/ プログラム / 発表一覧 / 著者一覧 / jsai2008 ホーム

佐藤 晴彦

名前佐藤 晴彦
ふり仮名さとう はるひこ
所属北海道大学

発表リスト

6月13日(金) 09:40〜10:00 J会場
題目 3J1-03 停止性証明に基づく項書換え系多重完備化手続き
著者 佐藤 晴彦 栗原 正仁 
論文 PDFファイル


/ プログラム / 発表一覧 / 著者一覧 / jsai2008 ホーム