Presentation | 1994/7/7 On Confluence of Term Set Rewriting System Hideto Kasuya, Masahiko Sakai, Shinichirou Yamamoto, Kiyoshi Agusa, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | In this paper,confluence and termination properties of simple term set rewriting systems are described.A term set rewriting system(TSR),which has the set of terms in their rules,rewrites set of terms.In specially,TSRs are called simple if the style of their rules are either{t} 〓 {s} or{s,t}〓{s,t}.We define EF-confluence b ased on some equivalence relation on set of terms.The relation between the confluence and equational logic,and the conditions of the confluence are discussed.Moreover,we state the termination property of TSR and its needed conditions. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | Term Rewriting System / Term Set Rewriting System / Knuth-Bendix completion procedure / Termination / Confluence |
Paper # | SS94-14 |
Date of Issue |
Conference Information | |
Committee | SS |
---|---|
Conference Date | 1994/7/7(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 | Software Science (SS) |
---|---|
Language | JPN |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | On Confluence of Term Set Rewriting System |
Sub Title (in English) | |
Keyword(1) | Term Rewriting System |
Keyword(2) | Term Set Rewriting System |
Keyword(3) | Knuth-Bendix completion procedure |
Keyword(4) | Termination |
Keyword(5) | Confluence |
1st Author's Name | Hideto Kasuya |
1st Author's Affiliation | School of Engineering,Nagoya University() |
2nd Author's Name | Masahiko Sakai |
2nd Author's Affiliation | Japan Advanced Institute of Science and Technology,Hokuriku |
3rd Author's Name | Shinichirou Yamamoto |
3rd Author's Affiliation | School of Engineering,Nagoya University |
4th Author's Name | Kiyoshi Agusa |
4th Author's Affiliation | School of Engineering,Nagoya University |
Date | 1994/7/7 |
Paper # | SS94-14 |
Volume (vol) | vol.94 |
Number (no) | 134 |
Page | pp.pp.- |
#Pages | 8 |
Date of Issue |