| Property |
Value |
| dbo:abstract
|
- Stephen D. Brookes est un informaticien théoricien, logicien et mathématicien, professeur à l'université Carnegie-Mellon. Il est connu pour ses contributions à la logique de séparation concurrente, qui lui ont valu l'attribution du prix Gödel 2016, avec Peter O'Hearn. (fr)
- Stephen D. Brookes est un informaticien théoricien, logicien et mathématicien, professeur à l'université Carnegie-Mellon. Il est connu pour ses contributions à la logique de séparation concurrente, qui lui ont valu l'attribution du prix Gödel 2016, avec Peter O'Hearn. (fr)
|
| dbo:almaMater
| |
| dbo:award
| |
| dbo:employer
| |
| dbo:occupation
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 4613 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
|
- 2007 (xsd:integer)
- 2016 (xsd:integer)
|
| prop-fr:auteur
|
- Luca Aceto (fr)
- Luca Aceto (fr)
|
| prop-fr:consultéLe
| |
| prop-fr:id
|
- laudatio (fr)
- laudatio (fr)
|
| prop-fr:journal
|
- Theoretical Computer Science (fr)
- Theoretical Computer Science (fr)
|
| prop-fr:mois
| |
| prop-fr:numéro
| |
| prop-fr:pages
| |
| prop-fr:site
| |
| prop-fr:série
|
- Bulletin of EATCS, No 119 (fr)
- Bulletin of EATCS, No 119 (fr)
|
| prop-fr:titre
|
- A Semantics for Concurrent Separation Logic (fr)
- Interview with Stephen Brookes and Peter W. O’Hearn Recipients of the 2016 Godel Prize (fr)
- A Semantics for Concurrent Separation Logic (fr)
- Interview with Stephen Brookes and Peter W. O’Hearn Recipients of the 2016 Godel Prize (fr)
|
| prop-fr:url
| |
| prop-fr:volume
| |
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Stephen D. Brookes est un informaticien théoricien, logicien et mathématicien, professeur à l'université Carnegie-Mellon. Il est connu pour ses contributions à la logique de séparation concurrente, qui lui ont valu l'attribution du prix Gödel 2016, avec Peter O'Hearn. (fr)
- Stephen D. Brookes est un informaticien théoricien, logicien et mathématicien, professeur à l'université Carnegie-Mellon. Il est connu pour ses contributions à la logique de séparation concurrente, qui lui ont valu l'attribution du prix Gödel 2016, avec Peter O'Hearn. (fr)
|
| rdfs:label
|
- Stephen D. Brookes (fr)
- Stephen D. Brookes (fr)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
