The Weighted Path Order for Termination of Term Rewriting

The Weighted Path Order for Termination of Term Rewriting

名古屋大学博士学位論文 学位の種類:博士(情報科学) 学位授与年月日:2014-09-29

Bibliographic Details
Main Authors: 山田, 晃久, Yamada, Akihisa
Language:en
Published: 2014
Online Access:http://hdl.handle.net/2237/20647

Internet

http://hdl.handle.net/2237/20647

Similar Items