Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 230,529,188 papers from all fields of science
Search
Sign In
Create Free Account
Dershowitz–Manna ordering
Known as:
Dershowitz-Manna ordering
, Multiset ordering
, Multiset orderings
Expand
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
4 relations
Abstract rewriting system
Communications of the ACM
Information 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
Neti Herawati
,
R. Sasongko
,
P. Djuwita
2017
Corpus ID: 148730108
The Objektive of this resears is to know the influence of headmasters leadership and organization culture foward teacher is…
Expand
2017
2017
MANAJEMEN PEMBELAJARAN MATA PELAJARAN FIQH MADRASAH TSANAWIYAH NEGERI 1 MANNA KABUPATEN BENGKULU SELATAN
Gustini Gustini
2017
Corpus ID: 149348263
Abstract: The results showed that: 1) Planning learning Fiqh in MTsN 1 Manna South Bengkulu consists of: The annual program, the…
Expand
2012
2012
ANALISIS DESKRIPTIF SOSIAL EKONOMI MASYAKARAKAT NELAYAN ( Studi Kasus: Nelayan Miskin Di Kelurahan Pasar Bawah, Kec.Pasar Manna Kabupaten Bengkulu Selatan )
K. Santoso
,
A. Marwan
,
P. Hasan
2012
Corpus ID: 191135086
P enel i t i an i ni dil akukan di Kel urahan P asar B awah Ke cam at an P asa r Manna K abupat en B en gkul u S el at an. Di pi…
Expand
Review
2011
Review
2011
Occurrence of three red listed species of Epinephelus (Perciformes: Serranidae) on Digha coast, India
P. Yennawar
,
P. Tudu
,
A. Mohapatra
2011
Corpus ID: 87668722
During routine efforts to maintain diversity in the public aquarium of the Marine Aquarium & regional Center, Digha, of the…
Expand
2006
2006
Certified Higher-Order Recursive Path Ordering
A. Koprowski
International Conference on Rewriting Techniques…
2006
Corpus ID: 7538561
The paper reports on a formalization of a proof of well-foundedness of the higher-order recursive path ordering (HORPO) in the…
Expand
Review
2005
Review
2005
Mathematical Domain Reasoning Tasks in Natural Language Tutorial Dialog on Proofs
Christoph Benzmüller
,
Q. Vo
AAAI Conference on Artificial Intelligence
2005
Corpus ID: 14411156
We study challenges that are imposed to mathematical domain reasoning in the context of natural language tutorial dialog on…
Expand
2003
2003
Microanalysis and electromigration reliability performance of high current transmission line pulse (TLP) stressed copper interconnects
Sherry Suat Cheng Khoo
,
P. Tan
,
S. Voldman
Microelectronics and reliability
2003
Corpus ID: 13689728
2001
2001
Lines 3074–3075 in ‘Beowulf’: Movement into Knowing
Jonathan S. Myerov
2001
Corpus ID: 59116283
Abstract Lines 3074–75 in Beowulf have been among the most vexing lines for editors, readers, and translators of the poem. The…
Expand
1992
1992
Generalized sufficient conditions for modular termination of rewriting
B. Gramlich
Applicable Algebra in Engineering, Communication…
1992
Corpus ID: 8403630
Modular properties of term rewriting systems, i.e. properties which are preserved under disjoint unions, have attracted an…
Expand
1978
1978
Manna FromAstragalus ascendens a rich source of fructose
Y. Aynehchi
,
G. Samuelsson
Economic Botany
1978
Corpus ID: 37043953
ConclusionsThe manna “Gazè Khonsar” contains a high amount of fructose ( 34% ) which can be isolated by gelfiltration on Sephadex…
Expand
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)
ACCEPT & CONTINUE