Decidability of Reachability for Term Rewriting with Reduction Strategies

名古屋大学博士学位論文 学位の種類 : 博士(情報科学)(課程) 学位授与年月日:平成24年3月26日

Bibliographic Details
Main Authors: 小島, 芳治, Kojima, Yoshiharu
Language:en
Published: 2012
Online Access:http://hdl.handle.net/2237/17961
Description
Summary:名古屋大学博士学位論文 学位の種類 : 博士(情報科学)(課程) 学位授与年月日:平成24年3月26日