Presentation | 2012-01-26 On class of equation sets whose word problems are reducible to those of ground equation sets Toshimitsu SAKAI, Masahiko SAKAI, Toshiki SAKABE, Naoki NISHIDA, Keiichirou KUSAKARI, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | The word problem of an equation set is to decide, given two terms, whether the two terms are equivalent under the equations. In this paper, we show that word problems of linear, shallow, non-erasing and non-collapsing equation sets are reducible to those of equation sets having no variables, where we use a transformation that substitutes ground terms determined from the equation set and the given two terms into each equation. This result allows us to use decision algorithms for the word problem of an equation set without variables to solve the target problem. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | equational theory / word problem / congruence closure |
Paper # | MSS2011-62,SS2011-47 |
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 class of equation sets whose word problems are reducible to those of ground equation sets |
Sub Title (in English) | |
Keyword(1) | equational theory |
Keyword(2) | word problem |
Keyword(3) | congruence closure |
1st Author's Name | Toshimitsu SAKAI |
1st Author's Affiliation | Department of Information Engineering, School of Engineering, Nagoya University() |
2nd Author's Name | Masahiko SAKAI |
2nd Author's Affiliation | Graduate School of Information Science, Nagoya University |
3rd Author's Name | Toshiki SAKABE |
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 | Keiichirou KUSAKARI |
5th Author's Affiliation | Graduate School of Information Science, Nagoya University |
Date | 2012-01-26 |
Paper # | MSS2011-62,SS2011-47 |
Volume (vol) | vol.111 |
Number (no) | 405 |
Page | pp.pp.- |
#Pages | 5 |
Date of Issue |