Technology Multiset path orderings and their application to termination of term rewriting systems

1. Mathematical Theory and Modeling www.iiste.orgISSN 2224-5804 (Paper) ISSN 2225-0522 (Online)Vol.3, No.5, 201396Multiset Path Orderings and Their Application to Termination…