About: Dershowitz–Manna ordering

An Entity of Type: System104377057, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

In mathematics, the Dershowitz–Manna ordering is a well-founded ordering on multisets named after Nachum Dershowitz and Zohar Manna. It is often used in context of termination of programs or term rewriting systems. Suppose that is a well-founded partial order, and let be the set of all finite multisets on . For multisets we define the Dershowitz–Manna ordering as follows: whenever there exist two multisets with the following properties: * , * , * , and * dominates , that is, for all , there is some such that . An equivalent definition was given by Huet and Oppen as follows:

Property Value
dbo:abstract
  • In mathematics, the Dershowitz–Manna ordering is a well-founded ordering on multisets named after Nachum Dershowitz and Zohar Manna. It is often used in context of termination of programs or term rewriting systems. Suppose that is a well-founded partial order, and let be the set of all finite multisets on . For multisets we define the Dershowitz–Manna ordering as follows: whenever there exist two multisets with the following properties: * , * , * , and * dominates , that is, for all , there is some such that . An equivalent definition was given by Huet and Oppen as follows: if and only if * , and * for all in , if then there is some in such that and . (en)
dbo:wikiPageID
  • 38676534 (xsd:integer)
dbo:wikiPageLength
  • 2777 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1111503674 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
rdf:type
rdfs:comment
  • In mathematics, the Dershowitz–Manna ordering is a well-founded ordering on multisets named after Nachum Dershowitz and Zohar Manna. It is often used in context of termination of programs or term rewriting systems. Suppose that is a well-founded partial order, and let be the set of all finite multisets on . For multisets we define the Dershowitz–Manna ordering as follows: whenever there exist two multisets with the following properties: * , * , * , and * dominates , that is, for all , there is some such that . An equivalent definition was given by Huet and Oppen as follows: (en)
rdfs:label
  • Dershowitz–Manna ordering (en)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:knownFor of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is dbp:knownFor of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License