| Property |
Value |
| dbo:abstract
|
- Géraud Sénizergues, né le 9 mars 1957, est professeur d'informatique à l'Université de Bordeaux et membre du Laboratoire bordelais de recherche en informatique (LaBRI). Récipiendaire du Prix Gödel en 2002 pour avoir démontré la décidabilité de l'égalité des langages reconnus par des automates à pile déterministes, il a obtenu le Prix Humboldt en 2003. (fr)
- Géraud Sénizergues, né le 9 mars 1957, est professeur d'informatique à l'Université de Bordeaux et membre du Laboratoire bordelais de recherche en informatique (LaBRI). Récipiendaire du Prix Gödel en 2002 pour avoir démontré la décidabilité de l'égalité des langages reconnus par des automates à pile déterministes, il a obtenu le Prix Humboldt en 2003. (fr)
|
| dbo:award
| |
| dbo:birthPlace
| |
| dbo:citizenship
| |
| dbo:discipline
| |
| dbo:doctoralAdvisor
| |
| dbo:doctoralStudent
| |
| dbo:employer
| |
| dbo:occupation
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 1312 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| prop-fr:wikiPageUsesTemplate
| |
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Géraud Sénizergues, né le 9 mars 1957, est professeur d'informatique à l'Université de Bordeaux et membre du Laboratoire bordelais de recherche en informatique (LaBRI). Récipiendaire du Prix Gödel en 2002 pour avoir démontré la décidabilité de l'égalité des langages reconnus par des automates à pile déterministes, il a obtenu le Prix Humboldt en 2003. (fr)
- Géraud Sénizergues, né le 9 mars 1957, est professeur d'informatique à l'Université de Bordeaux et membre du Laboratoire bordelais de recherche en informatique (LaBRI). Récipiendaire du Prix Gödel en 2002 pour avoir démontré la décidabilité de l'égalité des langages reconnus par des automates à pile déterministes, il a obtenu le Prix Humboldt en 2003. (fr)
|
| rdfs:label
|
- Géraud Sénizergues (fr)
- Géraud Sénizergues (fr)
|
| rdfs:seeAlso
| |
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageWikiLink
of | |
| is prop-fr:auteur
of | |
| is oa:hasTarget
of | |
| is foaf:primaryTopic
of | |
