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

Dershowitz–Manna ordering

Known as: Dershowitz-Manna ordering, Multiset ordering, Multiset orderings 
In mathematics, the Dershowitz–Manna ordering is a well-founded ordering on multisets named after Nachum Dershowitz and Zohar Manna. It is often used… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
terricolous and saxicolous species of the genera Aspicilia A. Massal. and Circinaria Link (Megasporaceae, Pertusariales… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
2011
2011
The application of in-feed antibiotic growth promoters in livestock diet threatens consumer health and has arisen into a… Expand
2004
2004
We re-express our theorem on the strong-normalisation of display calculi as a theorem about the well-foundedness of a certain… Expand
Highly Cited
2003
Highly Cited
2003
Wireless sensor networks (WSNs) are becoming an increasingly important technology that will be used in a variety of applications… Expand
  • figure 2
  • figure 5
Highly Cited
2002
Highly Cited
2002
We propose some global constraints for lexicographic orderings on vectors of variables. These constraints are very useful for… Expand
  • table 1
  • table 2
  • table 3
Highly Cited
1995
Highly Cited
1995
Strongly convergent reduction is the fundamental notion of reduction in infinitary orthogonal term rewriting systems (OTRSs). For… Expand
Highly Cited
1992
Highly Cited
1992
It is well known that the ordering of the unknowns can have a significant effect on the convergence of preconditioned conjugate… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Highly Cited
1979
Highly Cited
1979
A common tool for proving the termination of programs is the well-founded set, a set ordered in such a way as to admit no… Expand
Highly Cited
1979
Highly Cited
1979
A common tool for proving the termination of programs is the <italic>well-founded set</italic>, a set ordered in such a way as to… Expand
1973
1973
In computer-aided design for large systems, the efficient solution of large sparse systems of linear equations is important. We… Expand