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)

Related topics

Related topics

4 relations
Abstract rewriting systemCommunications of the ACMInformation Processing Letters

Broader (1)

Logic in computer science

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Pengaruh Kepemimpinan Kepala Sekolah dan Budaya Organisasi terhadap Kinerja Guru SMPN Se-kecamatan Kota Manna Kabupaten Bengkulu Selatan
The Objektive of this resears is to know the influence of headmasters leadership and organization culture foward teacher is… 
2017
2017
PENGARUH RELEIGIUSITAS DAN DUKUNGAN SOSIAL TEMAN SEBAYA TERHADAP MOTIVASI BELAJAR SISWA MTS AL- QURANIYAH MANNA KABUPATEN BENGKULU SELATAN
The research result proves the religiosity of students of MTs Al-Quraniyah Manna in high category, while the social support level… 
2012
2012
Taxonomy and phylogeny of the manna lichens and allied species (Megasporaceae)
terricolous and saxicolous species of the genera Aspicilia A. Massal. and Circinaria Link (Megasporaceae, Pertusariales… 
2012
2012
Linearizing Bad Sequences: Upper Bounds for the Product and Majoring Well Quasi-orders
Well quasi-orders (wqo’s) are an important mathematical tool for proving termination of many algorithms. Under some assumptions… 
2004
2004
A General Theorem on Termination of Rewriting
We re-express our theorem on the strong-normalisation of display calculi as a theorem about the well-foundedness of a certain… 
2001
2001
Grid Drawings of 4-Connected Plane Graphs
A grid drawing of a plane graph G is a drawing of G on the plane so that all vertices of G are put on plane grid points and all… 
Highly Cited
1992
Highly Cited
1992
Ordering Methods for Preconditioned Conjugate Gradient Methods Applied to Unstructured Grid Problems
It is well known that the ordering of the unknowns can have a significant effect on the convergence of preconditioned conjugate… 
1992
1992
Astronomical CCD mosaics: first results with the University of Hawaii 4096 x 4096 pixel CCD camera system
We present the first results from the University of Hawaii Institute for Astronomy project to develop largeformat optical CCD… 
1991
1991
Proving Termination for Term Rewriting Systems
In the first part this paper gives an order-theoretic analysis of the multiset ordering, the recursive path ordering and the… 
1990
1990
Genetic evidence for two species of lug-worm {Arenicola) in South Wales
Field observations suggest that the common lugworm Arenicola manna (L.) has 2 forms on British shores although taxonomists have… 
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)