Matches in DBpedia 2016-04 for { ?s ?p <http://dbpedia.org/resource/Gérard_Huet> }
Showing triples 1 to 54 of
54
with 100 triples per page.
- Caml designer Gérard_Huet.
- Xavier_Leroy doctoralAdvisor Gérard_Huet.
- Maurice_Nivat doctoralStudent Gérard_Huet.
- Gérard wikiPageDisambiguates Gérard_Huet.
- Huet wikiPageDisambiguates Gérard_Huet.
- Gerard_Huet wikiPageRedirects Gérard_Huet.
- ACM_Software_System_Award wikiPageWikiLink Gérard_Huet.
- Abstract_rewriting_system wikiPageWikiLink Gérard_Huet.
- Academic_genealogy_of_computer_scientists wikiPageWikiLink Gérard_Huet.
- Automated_theorem_proving wikiPageWikiLink Gérard_Huet.
- Caml wikiPageWikiLink Gérard_Huet.
- Constructive_proof wikiPageWikiLink Gérard_Huet.
- Coq wikiPageWikiLink Gérard_Huet.
- European_Association_for_Theoretical_Computer_Science wikiPageWikiLink Gérard_Huet.
- Gerard_Huet wikiPageWikiLink Gérard_Huet.
- Gérard wikiPageWikiLink Gérard_Huet.
- Herbrand_Award wikiPageWikiLink Gérard_Huet.
- Higher-order_logic wikiPageWikiLink Gérard_Huet.
- Huet wikiPageWikiLink Gérard_Huet.
- Jean-Marie_Hullot wikiPageWikiLink Gérard_Huet.
- Maurice_Nivat wikiPageWikiLink Gérard_Huet.
- Newmans_lemma wikiPageWikiLink Gérard_Huet.
- Rewriting wikiPageWikiLink Gérard_Huet.
- Thierry_Coquand wikiPageWikiLink Gérard_Huet.
- Unification_(computer_science) wikiPageWikiLink Gérard_Huet.
- X-machine wikiPageWikiLink Gérard_Huet.
- Xavier_Leroy wikiPageWikiLink Gérard_Huet.
- Zipper_(data_structure) wikiPageWikiLink Gérard_Huet.
- Dico.pdf author Gérard_Huet.
- 016621725d836a3e9156f8a5355a538088b58856e677f3e81c0b3ce0d691bf22 author Gérard_Huet.
- Caml designer Gérard_Huet.
- Xavier_Leroy doctoralAdvisor Gérard_Huet.
- Maurice_Nivat doctoralStudents Gérard_Huet.
- 016.pdf isCitedBy Gérard_Huet.
- Hampton.pdf isCitedBy Gérard_Huet.
- CS-TR-80-785.pdf isCitedBy Gérard_Huet.
- Huet_Lankford.pdf isCitedBy Gérard_Huet.
- pdf?md5=91486d696ff2e5535889186ab82e5dde&pid=1-s2.0-002200008290006X-main.pdf isCitedBy Gérard_Huet.
- DB.pdf isCitedBy Gérard_Huet.
- Formal_Structures.ps.gz isCitedBy Gérard_Huet.
- Mumbai.pdf isCitedBy Gérard_Huet.
- icon13.pdf isCitedBy Gérard_Huet.
- induction.pdf isCitedBy Gérard_Huet.
- residuals.pdf isCitedBy Gérard_Huet.
- trans6.pdf isCitedBy Gérard_Huet.
- 22c3b2e41f6b7a0e7289d2925b3552aec3054a88b3d06f220a9d7c197dc29a47 isCitedBy Gérard_Huet.
- 354473574e2fe95ff4989cb2efc49d5b1a31c2a8fb43c493f985ba50005830a1 isCitedBy Gérard_Huet.
- 47cf8205bfbd5c65ced52bf296bc9ad0541aa12e1377624ced9e3000f50b365b isCitedBy Gérard_Huet.
- bf00264598 isCitedBy Gérard_Huet.
- 0022-0000(81)90002-7 isCitedBy Gérard_Huet.
- s0019-9958(73)90301-x isCitedBy Gérard_Huet.
- s0960129598002643 isCitedBy Gérard_Huet.
- G%C3%A9rard_Huet sameAs Gérard_Huet.
- Gérard_Huet primaryTopic Gérard_Huet.