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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2011
Highly Cited
2011
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
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
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
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
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
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
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
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
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
The misallocation of public sector educational spending across inputs that leads to underspending on productive inputs like books… Expand
Is this relevant?