Decidability of Reachability for Term Rewriting with Reduction Strategies
名古屋大学博士学位論文 学位の種類 : 博士(情報科学)(課程) 学位授与年月日:平成24年3月26日
Main Authors: | , |
---|---|
Language: | en |
Published: |
2012
|
Online Access: | http://hdl.handle.net/2237/17961 |
Summary: | 名古屋大学博士学位論文 学位の種類 : 博士(情報科学)(課程) 学位授与年月日:平成24年3月26日 |
---|