Thesis or Dissertation Termination Analysis for Innermost Rewriting via Transformations

Netrakom, Park

2017-09
Description
Supervisor:廣川 直
情報科学研究科
修士
Full-Text

https://dspace.jaist.ac.jp/dspace/bitstream/10119/14798/4/abstract.pdf

https://dspace.jaist.ac.jp/dspace/bitstream/10119/14798/5/paper.pdf

Number of accesses :  

Other information