2024-03-28T09:21:03Z
https://nagoya.repo.nii.ac.jp/oai
oai:nagoya.repo.nii.ac.jp:00015931
2023-01-16T04:03:33Z
312:651:734
Decidability of Reachability for Term Rewriting with Reduction Strategies
Kojima, Yoshiharu
小島, 芳治
open access
名古屋大学博士学位論文 学位の種類 : 博士(情報科学)(課程) 学位授与年月日:平成24年3月26日
2012-03-26
eng
doctoral thesis
http://hdl.handle.net/2237/17961
https://nagoya.repo.nii.ac.jp/records/15931
甲第9690号
博士(情報科学)
2012-03-26
13901
名古屋大学
Nagoya University
https://nagoya.repo.nii.ac.jp/record/15931/files/k9690.pdf
application/pdf
654.3 kB
2018-02-20