Presentation | 2012-01-26 On Rewriting Induction for Simply-typed Term Rewriting Systems Akira OZEKI, Keiichirou KUSAKARI, Tsubasa SAKATA, Naoki NISHIDA, Masahiko SAKAI, Toshiki SAKABE, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | Rewriting induction is a principle of proving inductive theorems by means of derivations obtained by applying inference rules. The principle was first proposed on term rewriting systems, and was extended variously. In this paper, we extend the rewriting induction to simply-typed term rewriting systems, implementing an automated inductive theorem proving for higher-order equations. In order to design inference rules suitably, we also formulize properties which inference rules should satisfy. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | automated inductive reasoning / rewriting induction / simply-typed term rewriting / higher-order function |
Paper # | MSS2011-63,SS2011-48 |
Date of Issue |
Conference Information | |
Committee | MSS |
---|---|
Conference Date | 2012/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 Rewriting Induction for Simply-typed Term Rewriting Systems |
Sub Title (in English) | |
Keyword(1) | automated inductive reasoning |
Keyword(2) | rewriting induction |
Keyword(3) | simply-typed term rewriting |
Keyword(4) | higher-order function |
1st Author's Name | Akira OZEKI |
1st Author's Affiliation | Graduate School of Information Science, Nagoya University() |
2nd Author's Name | Keiichirou KUSAKARI |
2nd Author's Affiliation | Graduate School of Information Science, Nagoya University |
3rd Author's Name | Tsubasa SAKATA |
3rd Author's Affiliation | Graduate School of Information Science, Nagoya University |
4th Author's Name | Naoki NISHIDA |
4th Author's Affiliation | Graduate School of Information Science, Nagoya University |
5th Author's Name | Masahiko SAKAI |
5th Author's Affiliation | Graduate School of Information Science, Nagoya University |
6th Author's Name | Toshiki SAKABE |
6th Author's Affiliation | Graduate School of Information Science, Nagoya University |
Date | 2012-01-26 |
Paper # | MSS2011-63,SS2011-48 |
Volume (vol) | vol.111 |
Number (no) | 405 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |