| Property |
Value |
| dbo:abstract
|
- Alexandra Silva, de nom complet Alexandra Martins da Silva, née le 11 février 1984, est une universitaire portugaise, chercheuse en informatique théorique et mathématiques. Elle a obtenu le prix Presburger en 2017, pour ses travaux sur les coalgèbres comme outils pour formaliser, entre autres, les coinductions dans la programmation fonctionnelle et les opérations sur diverses variantes des automates finis, notamment probabilistes. (fr)
- Alexandra Silva, de nom complet Alexandra Martins da Silva, née le 11 février 1984, est une universitaire portugaise, chercheuse en informatique théorique et mathématiques. Elle a obtenu le prix Presburger en 2017, pour ses travaux sur les coalgèbres comme outils pour formaliser, entre autres, les coinductions dans la programmation fonctionnelle et les opérations sur diverses variantes des automates finis, notamment probabilistes. (fr)
|
| dbo:almaMater
| |
| dbo:award
| |
| dbo:birthDate
| |
| dbo:birthPlace
| |
| dbo:birthYear
| |
| dbo:citizenship
| |
| dbo:discipline
| |
| dbo:doctoralAdvisor
| |
| dbo:doctoralStudent
| |
| dbo:employer
| |
| dbo:institution
| |
| dbo:knownFor
| |
| dbo:occupation
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 7358 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:dateDeNaissance
| |
| prop-fr:directeurThèse
|
- Jan Rutten et Marcello Bonsangue (fr)
- Jan Rutten et Marcello Bonsangue (fr)
|
| prop-fr:domaines
| |
| prop-fr:formation
| |
| prop-fr:institutions
| |
| prop-fr:nationalité
|
- Portugaise (fr)
- Portugaise (fr)
|
| prop-fr:nom
|
- Alexandra Silva (fr)
- Alexandra Silva (fr)
|
| prop-fr:prix
| |
| prop-fr:renomméePour
|
- raisonnement coalgébrique, coinduction (fr)
- raisonnement coalgébrique, coinduction (fr)
|
| prop-fr:site
| |
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Alexandra Silva, de nom complet Alexandra Martins da Silva, née le 11 février 1984, est une universitaire portugaise, chercheuse en informatique théorique et mathématiques. Elle a obtenu le prix Presburger en 2017, pour ses travaux sur les coalgèbres comme outils pour formaliser, entre autres, les coinductions dans la programmation fonctionnelle et les opérations sur diverses variantes des automates finis, notamment probabilistes. (fr)
- Alexandra Silva, de nom complet Alexandra Martins da Silva, née le 11 février 1984, est une universitaire portugaise, chercheuse en informatique théorique et mathématiques. Elle a obtenu le prix Presburger en 2017, pour ses travaux sur les coalgèbres comme outils pour formaliser, entre autres, les coinductions dans la programmation fonctionnelle et les opérations sur diverses variantes des automates finis, notamment probabilistes. (fr)
|
| rdfs:label
|
- Alexandra Silva (fr)
- Alexandra Silva (de)
- Alexandra Silva (en)
- Alexandra Silva (pt)
- ألكسندرا سيلفا (ar)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:homepage
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
|
- (fr)
- Alexandra Silva (fr)
- (fr)
- Alexandra Silva (fr)
|
| is dbo:editor
of | |
| is dbo:wikiPageDisambiguates
of | |
| is dbo:wikiPageWikiLink
of | |
| is prop-fr:auteur
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
