| Property |
Value |
| dbo:abstract
|
- Peter William O'Hearn, né le 13 juillet 1963 à Halifax (Nouvelle-Écosse, Canada), est un informaticien travaillant au Royaume-Uni. (fr)
- Peter William O'Hearn, né le 13 juillet 1963 à Halifax (Nouvelle-Écosse, Canada), est un informaticien travaillant au Royaume-Uni. (fr)
|
| dbo:almaMater
| |
| dbo:award
| |
| dbo:birthDate
| |
| dbo:birthPlace
| |
| dbo:birthYear
| |
| dbo:discipline
| |
| dbo:doctoralAdvisor
| |
| dbo:doctoralStudent
| |
| dbo:domain
| |
| dbo:employer
| |
| dbo:institution
| |
| dbo:knownFor
| |
| dbo:nationality
| |
| dbo:occupation
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 5549 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:année
| |
| prop-fr:auteur
|
- Olivier Danvy (fr)
- Peter O’Hearn (fr)
- Philip Wadler (fr)
- Peter W. O’Hearn (fr)
- Stephen Brookes (fr)
- Olivier Danvy (fr)
- Peter O’Hearn (fr)
- Philip Wadler (fr)
- Peter W. O’Hearn (fr)
- Stephen Brookes (fr)
|
| prop-fr:champs
| |
| prop-fr:dateDeNaissance
| |
| prop-fr:directeurDeThèse
| |
| prop-fr:doi
| |
| prop-fr:formation
|
- Dalhousie University, Halifax, Canada (fr)
- Queen's University, Kingston, Canada (fr)
- Dalhousie University, Halifax, Canada (fr)
- Queen's University, Kingston, Canada (fr)
|
| prop-fr:institutions
| |
| prop-fr:journal
|
- Theoretical Computer Science (fr)
- Theoretical Computer Science (fr)
|
| prop-fr:lieuDeNaissance
|
- Halifax, Nouvelle Écosse, Canada (fr)
- Halifax, Nouvelle Écosse, Canada (fr)
|
| prop-fr:mois
| |
| prop-fr:nationalité
| |
| prop-fr:nom
|
- Peter W. O'Hearn (fr)
- Peter W. O'Hearn (fr)
|
| prop-fr:numéro
| |
| prop-fr:pages
|
- 1 (xsd:integer)
- 227 (xsd:integer)
- 271 (xsd:integer)
|
| prop-fr:prix
|
- prix Gödel 2016 (fr)
- prix Gödel 2016 (fr)
|
| prop-fr:périodique
|
- Theoretical Computer Science (fr)
- Theoretical Computer Science (fr)
|
| prop-fr:renomméPour
| |
| prop-fr:responsabilité
|
- éditeurs (fr)
- éditeurs (fr)
|
| prop-fr:titre
|
- Festschrift for John C. Reynolds's 70th Birthday (fr)
- A Semantics for Concurrent Separation Logic (fr)
- Resources, Concurrency, and Local Reasoning (fr)
- Festschrift for John C. Reynolds's 70th Birthday (fr)
- A Semantics for Concurrent Separation Logic (fr)
- Resources, Concurrency, and Local Reasoning (fr)
|
| prop-fr:volume
| |
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Peter William O'Hearn, né le 13 juillet 1963 à Halifax (Nouvelle-Écosse, Canada), est un informaticien travaillant au Royaume-Uni. (fr)
- Peter William O'Hearn, né le 13 juillet 1963 à Halifax (Nouvelle-Écosse, Canada), est un informaticien travaillant au Royaume-Uni. (fr)
|
| rdfs:label
|
- Peter O'Hearn (en)
- Peter O'Hearn (fr)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
|
- Peter W. O'Hearn (fr)
- Peter W. O'Hearn (fr)
|
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
