Nobuo Kawaguchi : Research Activities

河口研究室 研究成果

河口研の研究成果です。資料をダウンロードして利用する場合、河口までご連絡いただけると幸いです。
連絡先 : kawaguti[at]nagoya-u.jp

レコード番号 760
番号97
著者渡辺啓嗣, 河口信夫, 酒井正彦, 坂部俊樹, 稲垣康善
タイトル依存対に基づく高階項書換え系の停止性証明
掲載誌等電子情報通信学会議技術研究報告
VolNo.等SS97-85
ページfrom63
ページto70
発表・掲載日None
ファイル(PDF)
言語日本語
開催地
出版社
種別研究会等
備考