| Property |
Value |
| dbo:abstract
|
- Le théorème d'Immerman-Szelepcsényi est un théorème d'informatique théorique, et notamment de la théorie de la complexité, démontré en 1987 indépendamment par Neil Immerman et Róbert Szelepcsényi, et qui leur a valu d'obtenir conjointement le prix Gödel en 1995. Une version simplifiée de ce théorème est NL = co-NL. (fr)
- Le théorème d'Immerman-Szelepcsényi est un théorème d'informatique théorique, et notamment de la théorie de la complexité, démontré en 1987 indépendamment par Neil Immerman et Róbert Szelepcsényi, et qui leur a valu d'obtenir conjointement le prix Gödel en 1995. Une version simplifiée de ce théorème est NL = co-NL. (fr)
|
| dbo:namedAfter
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 12670 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
| |
| prop-fr:isbn
|
- 0 (xsd:integer)
- 978 (xsd:integer)
|
| prop-fr:langue
| |
| prop-fr:lieu
|
- Reading (fr)
- Reading (fr)
|
| prop-fr:nom
|
- Papadimitriou (fr)
- Papadimitriou (fr)
|
| prop-fr:numéroChapitre
| |
| prop-fr:pagesTotales
| |
| prop-fr:passage
| |
| prop-fr:prénom
|
- Christos H. (fr)
- Christos H. (fr)
|
| prop-fr:texte
|
- argument de remplissage (fr)
- argument de remplissage (fr)
|
| prop-fr:titre
|
- Computational Complexity (fr)
- Computational Complexity (fr)
|
| prop-fr:titreChapitre
|
- Space Complexity (fr)
- Space Complexity (fr)
|
| prop-fr:trad
|
- padding argument (fr)
- padding argument (fr)
|
| prop-fr:wikiPageUsesTemplate
| |
| prop-fr:éditeur
| |
| dct:subject
| |
| rdfs:comment
|
- Le théorème d'Immerman-Szelepcsényi est un théorème d'informatique théorique, et notamment de la théorie de la complexité, démontré en 1987 indépendamment par Neil Immerman et Róbert Szelepcsényi, et qui leur a valu d'obtenir conjointement le prix Gödel en 1995. Une version simplifiée de ce théorème est NL = co-NL. (fr)
- Le théorème d'Immerman-Szelepcsényi est un théorème d'informatique théorique, et notamment de la théorie de la complexité, démontré en 1987 indépendamment par Neil Immerman et Róbert Szelepcsényi, et qui leur a valu d'obtenir conjointement le prix Gödel en 1995. Une version simplifiée de ce théorème est NL = co-NL. (fr)
|
| rdfs:label
|
- Satz von Immerman und Szelepcsényi (de)
- Théorème d'Immerman-Szelepcsényi (fr)
- Satz von Immerman und Szelepcsényi (de)
- Théorème d'Immerman-Szelepcsényi (fr)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is prop-fr:œuvresPrincipales
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
