Presentation | 2015-01-26 On Efficacy of Narrowing in Proving Termination of Constrained Term Rewriting Systems Tomoya UEYAMA, Naoki NISHIDA, Masahiko SAKAI, Toshiki SAKABE, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | To prove termination of constrained term rewriting systems, the dependency pair framework, a powerful method for proving termination of term rewriting systems, was extended to constrained term rewriting systems. It was only shown that a transformation of dependency pairs via narrowing, which is used in the framework, is useful in disproving termination in the extended framework. In this paper, we show that the transformation is useful in proving termination of constrained term rewriting systems. Moreover, we improve the transformation in order to increase the power of proving termination. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | term rewriting system / DP framework / first-order predicate logic |
Paper # | MSS2014-76,SS2014-40 |
Date of Issue |
Conference Information | |
Committee | MSS |
---|---|
Conference Date | 2015/1/19(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Mathematical Systems Science and its applications(MSS) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | On Efficacy of Narrowing in Proving Termination of Constrained Term Rewriting Systems |
Sub Title (in English) | |
Keyword(1) | term rewriting system |
Keyword(2) | DP framework |
Keyword(3) | first-order predicate logic |
1st Author's Name | Tomoya UEYAMA |
1st Author's Affiliation | Graduate School of Information Science, Nagoya University() |
2nd Author's Name | Naoki NISHIDA |
2nd Author's Affiliation | Graduate School of Information Science, Nagoya University |
3rd Author's Name | Masahiko SAKAI |
3rd Author's Affiliation | Graduate School of Information Science, Nagoya University |
4th Author's Name | Toshiki SAKABE |
4th Author's Affiliation | Graduate School of Information Science, Nagoya University |
Date | 2015-01-26 |
Paper # | MSS2014-76,SS2014-40 |
Volume (vol) | vol.114 |
Number (no) | 415 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |