Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Gérard_Huet> }
Showing triples 1 to 46 of
46
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.
- Caml designer Gérard_Huet.
- Xavier_Leroy doctoralAdvisor Gérard_Huet.
- Maurice_Nivat doctoralStudents Gérard_Huet.
- 016.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.
- induction.pdf isCitedBy Gérard_Huet.
- residuals.pdf isCitedBy Gérard_Huet.
- trans6.pdf 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.