Property |
Value |
dbo:abstract
|
- Walter John Savitch, né le 21 février 1943 et mort le 1er février 2021, est professeur et chercheur en informatique et informatique théorique. Il est surtout connu pour le théorème de Savitch, en théorie de la complexité qui précise les relations entre les classes en espace utilisant des machines de Turing déterministes et celles utilisant du non-déterminisme. En particulier ce théorème donne l'égalité PSPACE=NPSPACE. Savitch a obtenu son doctorat (PhD) de mathématiques à l'université de Berkeley en 1969, sous la direction de Stephen Cook. Il est professeur émérite à l'UCSD. (fr)
- Walter John Savitch, né le 21 février 1943 et mort le 1er février 2021, est professeur et chercheur en informatique et informatique théorique. Il est surtout connu pour le théorème de Savitch, en théorie de la complexité qui précise les relations entre les classes en espace utilisant des machines de Turing déterministes et celles utilisant du non-déterminisme. En particulier ce théorème donne l'égalité PSPACE=NPSPACE. Savitch a obtenu son doctorat (PhD) de mathématiques à l'université de Berkeley en 1969, sous la direction de Stephen Cook. Il est professeur émérite à l'UCSD. (fr)
|
dbo:almaMater
| |
dbo:citizenship
| |
dbo:discipline
| |
dbo:doctoralAdvisor
| |
dbo:doctoralStudent
| |
dbo:employer
| |
dbo:occupation
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 2377 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:année
| |
prop-fr:langue
| |
prop-fr:nom
|
- Savitch (fr)
- Savitch (fr)
|
prop-fr:numéro
| |
prop-fr:pages
| |
prop-fr:prénom
|
- Walter John (fr)
- Walter John (fr)
|
prop-fr:périodique
|
- Journal of Computer and System Sciences (fr)
- Journal of Computer and System Sciences (fr)
|
prop-fr:titre
|
- Relationships between nondeterministic and deterministic tape complexities (fr)
- Relationships between nondeterministic and deterministic tape complexities (fr)
|
prop-fr:volume
| |
prop-fr:wikiPageUsesTemplate
| |
dct:subject
| |
rdf:type
| |
rdfs:comment
|
- Walter John Savitch, né le 21 février 1943 et mort le 1er février 2021, est professeur et chercheur en informatique et informatique théorique. Il est surtout connu pour le théorème de Savitch, en théorie de la complexité qui précise les relations entre les classes en espace utilisant des machines de Turing déterministes et celles utilisant du non-déterminisme. En particulier ce théorème donne l'égalité PSPACE=NPSPACE. Savitch a obtenu son doctorat (PhD) de mathématiques à l'université de Berkeley en 1969, sous la direction de Stephen Cook. Il est professeur émérite à l'UCSD. (fr)
- Walter John Savitch, né le 21 février 1943 et mort le 1er février 2021, est professeur et chercheur en informatique et informatique théorique. Il est surtout connu pour le théorème de Savitch, en théorie de la complexité qui précise les relations entre les classes en espace utilisant des machines de Turing déterministes et celles utilisant du non-déterminisme. En particulier ce théorème donne l'égalité PSPACE=NPSPACE. Savitch a obtenu son doctorat (PhD) de mathématiques à l'université de Berkeley en 1969, sous la direction de Stephen Cook. Il est professeur émérite à l'UCSD. (fr)
|
rdfs:label
|
- Walter Savitch (en)
- Walter Savitch (fr)
- Walter Savitch (pt)
|
rdfs:seeAlso
| |
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:isPrimaryTopicOf
| |
is dbo:doctoralStudent
of | |
is dbo:wikiPageDisambiguates
of | |
is dbo:wikiPageWikiLink
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |