Ryota Akiyoshi and Kazushige Terui, 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Porto, Portugal, Leibniz International Proceedings in Informatics, Vol.52, pp.5:1-5:15, 2016.
早稲田大学オフィシャルサイト（https://www.waseda.jp/inst/wias/）は、以下のWebブラウザでご覧いただくことを推奨いたします。
推奨環境以外でのご利用や、推奨環境であっても設定によっては、ご利用できない場合や正しく表示されない場合がございます。より快適にご利用いただくため、お使いのブラウザを最新版に更新してご覧ください。
このままご覧いただく方は、「このまま進む」ボタンをクリックし、次ページに進んでください。
対応ブラウザについて
Google Chrome
Windowsバージョン38 以上
Macintoshバージョン38 以上
Webサイト
Fire Fox
Windowsバージョン33 以上
Macintoshバージョン33 以上
Webサイト
Safari
Windowsバージョン38 以上
Macintoshバージョン38 以上
Webサイト
Internet Explorler
Windowsバージョン10 以上
Webサイト
