|
|||||
|
|
The  * * Part of the Theory of Ground Term Algebra Modulo an AC Symbol is Undecidable |
|
| Authors: | Jerzy Marcinkowski |
| Affiliation: | Institute of Computer Science, University of Wroc |
| Abstract: | We show that the ** part of the equational theory modulo an AC symbol is undecidable. This solves the open problem 25 from the RTA list. We show that this result holds also for the equational theory modulo an ACI symbol. |
| Keywords: | Abbreviations: unificationAbbreviations: equational theoriesAbbreviations: decidability |
| 本文献已被 ScienceDirect 等数据库收录！ | |