An effective proof of the well-foundedness of the multiset path ordering

Author: Coupet-Grimal Solange   Delobel William  

Publisher: Springer Publishing Company

ISSN: 0938-1279

Source: Applicable Algebra in Engineering, Communication and Computing, Vol.17, Iss.6, 2006-12, pp. : 453-469

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract