Paper Abstract and Keywords |
Presentation |
2012-01-26 15:30
On Rewriting Induction for Simply-typed Term Rewriting Systems Akira Ozeki, Keiichirou Kusakari, Tsubasa Sakata, Naoki Nishida, Masahiko Sakai, Toshiki Sakabe (Nagoya Univ.) MSS2011-63 SS2011-48 |
Abstract |
(in Japanese) |
(See Japanese page) |
(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) |
(in English) |
automated inductive reasoning / rewriting induction / simply-typed term rewriting / higher-order-function / / / / |
Reference Info. |
IEICE Tech. Rep., vol. 111, no. 406, SS2011-48, pp. 51-56, Jan. 2012. |
Paper # |
SS2011-48 |
Date of Issue |
2012-01-19 (MSS, SS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
Copyright and reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Download PDF |
MSS2011-63 SS2011-48 |
Conference Information |
Committee |
SS MSS |
Conference Date |
2012-01-26 - 2012-01-27 |
Place (in Japanese) |
(See Japanese page) |
Place (in English) |
Kochi City Culture-Plaza Cul-Port |
Topics (in Japanese) |
(See Japanese page) |
Topics (in English) |
General topics |
Paper Information |
Registration To |
SS |
Conference Code |
2012-01-SS-MSS |
Language |
Japanese |
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 |
Keyword(5) |
|
Keyword(6) |
|
Keyword(7) |
|
Keyword(8) |
|
1st Author's Name |
Akira Ozeki |
1st Author's Affiliation |
Nagoya University (Nagoya Univ.) |
2nd Author's Name |
Keiichirou Kusakari |
2nd Author's Affiliation |
Nagoya University (Nagoya Univ.) |
3rd Author's Name |
Tsubasa Sakata |
3rd Author's Affiliation |
Nagoya University (Nagoya Univ.) |
4th Author's Name |
Naoki Nishida |
4th Author's Affiliation |
Nagoya University (Nagoya Univ.) |
5th Author's Name |
Masahiko Sakai |
5th Author's Affiliation |
Nagoya University (Nagoya Univ.) |
6th Author's Name |
Toshiki Sakabe |
6th Author's Affiliation |
Nagoya University (Nagoya Univ.) |
7th Author's Name |
|
7th Author's Affiliation |
() |
8th Author's Name |
|
8th Author's Affiliation |
() |
9th Author's Name |
|
9th Author's Affiliation |
() |
10th Author's Name |
|
10th Author's Affiliation |
() |
11th Author's Name |
|
11th Author's Affiliation |
() |
12th Author's Name |
|
12th Author's Affiliation |
() |
13th Author's Name |
|
13th Author's Affiliation |
() |
14th Author's Name |
|
14th Author's Affiliation |
() |
15th Author's Name |
|
15th Author's Affiliation |
() |
16th Author's Name |
|
16th Author's Affiliation |
() |
17th Author's Name |
|
17th Author's Affiliation |
() |
18th Author's Name |
|
18th Author's Affiliation |
() |
19th Author's Name |
|
19th Author's Affiliation |
() |
20th Author's Name |
|
20th Author's Affiliation |
() |
Speaker |
Author-1 |
Date Time |
2012-01-26 15:30:00 |
Presentation Time |
30 minutes |
Registration for |
SS |
Paper # |
MSS2011-63, SS2011-48 |
Volume (vol) |
vol.111 |
Number (no) |
no.405(MSS), no.406(SS) |
Page |
pp.51-56 |
#Pages |
6 |
Date of Issue |
2012-01-19 (MSS, SS) |
|