@article{(Open Science Index):https://publications.waset.org/pdf/12721, title = {Persistence of Termination for Non-Overlapping Term Rewriting Systems}, author = {Munehiro Iwami}, country = {}, institution = {}, abstract = {A property is called persistent if for any many-sorted term rewriting system , has the property if and only if term rewriting system , which results from by omitting its sort information, has the property. In this paper,we show that termination is persistent for non-overlapping term rewriting systems and we give the example as application of this result. Furthermore we obtain that completeness is persistent for non-overlapping term rewriting systems.}, journal = {International Journal of Mathematical and Computational Sciences}, volume = {1}, number = {3}, year = {2007}, pages = {205 - 208}, ee = {https://publications.waset.org/pdf/12721}, url = {https://publications.waset.org/vol/3}, bibsource = {https://publications.waset.org/}, issn = {eISSN: 1307-6892}, publisher = {World Academy of Science, Engineering and Technology}, index = {Open Science Index 3, 2007}, }