@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},
	}