Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
The Objektive of this resears is to know the influence of headmasters leadership and organization culture foward teacher is… 
2011
2011
The application of in-feed antibiotic growth promoters in livestock diet threatens consumer health and has arisen into a… 
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… 
Highly Cited
2002
Highly Cited
2002
We propose some global constraints for lexicographic orderings on vectors of variables. These constraints are very useful for… 
Highly Cited
1995
Highly Cited
1995
Strongly convergent reduction is the fundamental notion of reduction in infinitary orthogonal term rewriting systems (OTRSs). For… 
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… 
1986
1986
  • A. Lempel
  • IEEE Trans. Inf. Theory
  • 1986
  • Corpus ID: 33573576
In certain applications it is necessary to communicate a description of a sequence of events where the information of interest is… 
1985
1985
  • E. Paul
  • J. Symb. Comput.
  • 1985
  • Corpus ID: 46574746
Highly Cited
1982
Highly Cited
1982
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…