Matches in DBpedia 2016-04 for { ?s ?p "Gérard Huet" }
Showing triples 1 to 10 of
10
with 100 triples per page.
- Hampton.pdf author "Gérard Huet".
- DB.pdf author "Gérard Huet".
- Formal_Structures.ps.gz author "Gérard Huet".
- RBT2.pdf author "Gérard Huet".
- induction.pdf author "Gérard Huet".
- residuals.pdf author "Gérard Huet".
- 47cf8205bfbd5c65ced52bf296bc9ad0541aa12e1377624ced9e3000f50b365b author "Gérard Huet".
- 0022-0000(81)90002-7 author "Gérard Huet".
- s0960129598002643 author "Gérard Huet".
- books?vid=ISBN978-3-642-00154-3 author1 "Gérard Huet".