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

id	ndltd-NAGOYA-oai-ir.nul.nagoya-u.ac.jp-2237-20647
record_format	oai_dc
spelling	ndltd-NAGOYA-oai-ir.nul.nagoya-u.ac.jp-2237-206472014-11-01T04:02:27ZThe Weighted Path Order for Termination of Term Rewriting山田, 晃久Yamada, Akihisa名古屋大学博士学位論文学位の種類:博士(情報科学) 学位授与年月日:2014-09-292014-09-29Thesis(ETD)http://hdl.handle.net/2237/20647en
collection	NDLTD
language	en
sources	NDLTD
description	名古屋大学博士学位論文学位の種類:博士(情報科学) 学位授与年月日:2014-09-29
author	山田, 晃久 Yamada, Akihisa
spellingShingle	山田, 晃久 Yamada, Akihisa The Weighted Path Order for Termination of Term Rewriting
author_facet	山田, 晃久 Yamada, Akihisa
author_sort	山田, 晃久
title	The Weighted Path Order for Termination of Term Rewriting
title_short	The Weighted Path Order for Termination of Term Rewriting
title_full	The Weighted Path Order for Termination of Term Rewriting
title_fullStr	The Weighted Path Order for Termination of Term Rewriting
title_full_unstemmed	The Weighted Path Order for Termination of Term Rewriting
title_sort	weighted path order for termination of term rewriting
publishDate	2014
url	http://hdl.handle.net/2237/20647
work_keys_str_mv	AT shāntiánhuǎngjiǔ theweightedpathorderforterminationoftermrewriting AT yamadaakihisa theweightedpathorderforterminationoftermrewriting AT shāntiánhuǎngjiǔ weightedpathorderforterminationoftermrewriting AT yamadaakihisa weightedpathorderforterminationoftermrewriting
_version_	1716719220760248320

The Weighted Path Order for Termination of Term Rewriting

Similar Items