[go: up one dir, main page]

En mathématiques et en informatique, plus précisément dans la théorie des relations binaires, le lemme de Newman dit qu'une relation binaire noethérienne est confluente si elle est localement confluente. Une démonstration relativement simple (induction sur une relation bien fondée) est due à Gérard Huet en 1980. La démonstration originale de Newman est plus compliquée, mais la méthode des diagrammes décroissants[Quoi ?] montre bien comment elle fonctionne.

Property Value
dbo:abstract
  • En mathématiques et en informatique, plus précisément dans la théorie des relations binaires, le lemme de Newman dit qu'une relation binaire noethérienne est confluente si elle est localement confluente. Une démonstration relativement simple (induction sur une relation bien fondée) est due à Gérard Huet en 1980. La démonstration originale de Newman est plus compliquée, mais la méthode des diagrammes décroissants[Quoi ?] montre bien comment elle fonctionne. (fr)
  • En mathématiques et en informatique, plus précisément dans la théorie des relations binaires, le lemme de Newman dit qu'une relation binaire noethérienne est confluente si elle est localement confluente. Une démonstration relativement simple (induction sur une relation bien fondée) est due à Gérard Huet en 1980. La démonstration originale de Newman est plus compliquée, mais la méthode des diagrammes décroissants[Quoi ?] montre bien comment elle fonctionne. (fr)
dbo:namedAfter
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 10006642 (xsd:integer)
dbo:wikiPageLength
  • 5043 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 173235291 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:année
  • 1990 (xsd:integer)
prop-fr:collection
  • Lecture notes in computer science (fr)
  • Lecture notes in computer science (fr)
prop-fr:consultéLe
  • 2017-07-09 (xsd:date)
prop-fr:fr
  • M. H. A. Newman (fr)
  • M. H. A. Newman (fr)
prop-fr:isbn
  • 978 (xsd:integer)
prop-fr:lang
  • en (fr)
  • en (fr)
prop-fr:langue
  • en (fr)
  • en (fr)
prop-fr:lieu
  • Warwick University, England (fr)
  • Warwick University, England (fr)
prop-fr:lireEnLigne
prop-fr:nom
  • Paterson (fr)
  • Paterson (fr)
prop-fr:pagesTotales
  • 780 (xsd:integer)
prop-fr:prénom
  • Michael S. (fr)
  • Michael S. (fr)
prop-fr:sousTitre
  • 17 (xsd:integer)
prop-fr:texte
  • M. H. A. Newman (fr)
  • M. H. A. Newman (fr)
prop-fr:titre
  • Automata, Languages, and Programming (fr)
  • Automata, Languages, and Programming (fr)
prop-fr:trad
  • M. H. A. Newman (fr)
  • M. H. A. Newman (fr)
prop-fr:url
  • http://www.cs.vu.nl/~terese/|titre=(livre en ligne) (fr)
  • http://www.cs.vu.nl/~terese/|titre=(livre en ligne) (fr)
prop-fr:volume
  • 443 (xsd:integer)
prop-fr:wikiPageUsesTemplate
prop-fr:éditeur
  • Springer (fr)
  • Springer (fr)
dct:subject
rdfs:comment
  • En mathématiques et en informatique, plus précisément dans la théorie des relations binaires, le lemme de Newman dit qu'une relation binaire noethérienne est confluente si elle est localement confluente. Une démonstration relativement simple (induction sur une relation bien fondée) est due à Gérard Huet en 1980. La démonstration originale de Newman est plus compliquée, mais la méthode des diagrammes décroissants[Quoi ?] montre bien comment elle fonctionne. (fr)
  • En mathématiques et en informatique, plus précisément dans la théorie des relations binaires, le lemme de Newman dit qu'une relation binaire noethérienne est confluente si elle est localement confluente. Une démonstration relativement simple (induction sur une relation bien fondée) est due à Gérard Huet en 1980. La démonstration originale de Newman est plus compliquée, mais la méthode des diagrammes décroissants[Quoi ?] montre bien comment elle fonctionne. (fr)
rdfs:label
  • Diamond Lemma (de)
  • Lema de Newman (pt)
  • Lemme de Newman (fr)
  • Diamond Lemma (de)
  • Lema de Newman (pt)
  • Lemme de Newman (fr)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of