Skip to search formSkip to main contentSkip to account menu

Path ordering (term rewriting)

Known as: MPO (term rewriting), LPO (term rewriting), Lexicographic path ordering 
In theoretical computer science, in particular in term rewriting, a path ordering is a well-founded strict total order (>) on the set of all terms… 
Wikipedia (opens in a new tab)

Related topics

Related topics

8 relations
Higher-order functionKnuth–Bendix completion algorithmLexicographical orderReflexive closure

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Effect of thione—thiol tautomerism on the inhibition of lactoperoxidase by anti-thyroid drugs and their analogues
The keto-enol type tautomerism in anti-thyroid drugs and their selenium analogues are described. The commonly used anti-thyroid… 
2008
2008
EFFECT OF MANGANESE ON BOVINE SPERM MOTILITY, VIABILITY AND LIPID PEROXIDATION IN VITRO
Manganese (Mn) is a chain-breaking antioxidant in biological systems. The objective of the present study was to determine the… 
Highly Cited
2007
Highly Cited
2007
Crack Density Tensor Inversion for Analysis of Changes in Rock Frame Architecture
F029 Crack Density Tensor Inversion for Analysis of Changes in Rock Frame Architecture S.A. Hall* (CNRS) J.M. Kendall (University… 
2007
2007
Seasonal affective disorder and the pricing of IPOs
Purpose - It has been found that stock market returns vary seasonally with the amount of daylight, and they attribute this effect… 
2006
2006
Recursive path ordering for infinite labelled rewrite systems
Semantic labelling is a transformational technique for proving termination of Term Rewriting Systems (TRSs). Only its variant… 
2004
2004
Influences of current density on structure and corrosion resistance of ceramic coatings on Ti–6Al–4V alloy by micro-plasma oxidation
2004
2004
ANTAGONISTIC EFFECT OF SELENIUM ON OXIDATIVE STRESS, DNA DAMAGE, AND APOPTOSIS INDUCED BY FLUORIDE IN HUMAN HEPATOCYTES
SUMMARY: To evaluate the toxicity of fluoride and the antagonistic effect of selenium, normal human primary hepatocytes were… 
Review
2001
Review
2001
Why is Income Inequality So Low in China Compared to Other Countries? The Effect of Household Survey Methods
1998
1998
Residual pitch oscillation (RPO) flight test and analysis on the B-2 bomber
1996
1996
A theoretical three-dimensional model for lactoperoxidase and eosinophil peroxidase, built on the scaffold of the myeloperoxidase X-ray structure
Abstract Lactoperoxidase (LPO), eosinophil peroxidase (EPO) and myeloperoxidase (MPO) belong to the class of haloperoxidases, a… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)