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.
Sorry!
The Waseda University official website
<<https://www.waseda.jp/inst/wias/en/>> doesn't support your system.
Please update to the newest version of your browser and try again.
Suporrted Browser
Google Chrome
Windows version 38 later
Macintosh version38 later
WebSite
Fire Fox
Windows version 33 later
Macintosh version 33 later
WebSite
Safari
Windows version 38 later
Macintosh version38 later
WebSite
Internet Explorler
Windows version 10 later
WebSite
