| 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
| |
| dbo:wikiPageLength
|
- 5043 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
| |
| prop-fr:collection
|
- Lecture notes in computer science (fr)
- Lecture notes in computer science (fr)
|
| prop-fr:consultéLe
| |
| prop-fr:fr
|
- M. H. A. Newman (fr)
- M. H. A. Newman (fr)
|
| prop-fr:isbn
| |
| prop-fr:lang
| |
| prop-fr:langue
| |
| prop-fr:lieu
|
- Warwick University, England (fr)
- Warwick University, England (fr)
|
| prop-fr:lireEnLigne
| |
| prop-fr:nom
|
- Paterson (fr)
- Paterson (fr)
|
| prop-fr:pagesTotales
| |
| prop-fr:prénom
|
- Michael S. (fr)
- Michael S. (fr)
|
| prop-fr:sousTitre
| |
| 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
| |
| 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 | |
