Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Related topics

Related topics

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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
Performance of missing transverse momentum reconstruction in proton-proton collisions at $\sqrt{s} = 7~\mbox{TeV}$ with ATLAS
The measurement of missing transverse momentum in the ATLAS detector, described in this paper, makes use of the full event… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2010
Highly Cited
2010
Crystal Structure and Electrochemical Properties of A2MPO4F Fluorophosphates (A = Na, Li; M = Fe, Mn, Co, Ni)†
We report new solid state and hydrothermal synthetic routes to (Li,Na)2FePO4F that incorporate carbon-containing additives and… Expand
  • table 1
  • table 2
  • figure 1
  • figure 3
  • figure 2
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Geodynamic Significance of Seismic Anisotropy of the Upper Mantle: New Insights from Laboratory Studies
Seismic anisotropy is caused mainly by the lattice-preferred orientation of anisotropic minerals. Major breakthroughs have… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Effect of water and stress on the lattice-preferred orientation of olivine
The influence of water and stress on the lattice-preferred orientation (LPO) of olivine aggregates was investigated through large… Expand
  • figure 1
  • table 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Microstructure and Mechanical Properties of Extruded Mg-Zn-Y Alloys with 14H Long Period Ordered Structure
The compositional dependence of mechanical properties and microstructural change of the extruded Mg-Zn-Y alloys has been… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Continental rifting parallel to ancient collisional belts: an effect of the mechanical anisotropy of the lithospheric mantle
Analysis of major rift systems suggests that the preexisting structure of the lithosphere is a key parameter in the rifting… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Termination of term rewriting using dependency pairs
We present techniques to prove termination and innermost termination of term rewriting systems automatically. In contrast to… Expand
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2000
Highly Cited
2000
An Ant Colony System Hybridized with a New Local Search for the Sequential Ordering Problem
We present a new local optimizer called SOP-3-exchange for the sequential ordering problem that extends a local search for the… Expand
  • figure 3
  • figure 4
  • figure 5
  • figure 6
  • figure 7
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Deriving Bisimulation Congruences for Reactive Systems
The dynamics of reactive systems, e.g. CCS, has often been defined using a labelled transition system (LTS). More recently it has… Expand
Is this relevant?
Highly Cited
1997
Highly Cited
1997
What Educational Production Functions Really Show: A Positive Theory of Education Spending
The misallocation of public sector educational spending across inputs that leads to underspending on productive inputs like books… Expand
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE