Matches in DBpedia 2016-04 for { <http://yquem.inria.fr/~huet/PUBLIC/Formal_Structures.ps.gz> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- Formal_Structures.ps.gz author "Gerard Huet".
- Formal_Structures.ps.gz author "Gérard Huet".
- Formal_Structures.ps.gz date "May 1986".
- Formal_Structures.ps.gz isCitedBy Gérard_Huet.
- Formal_Structures.ps.gz isCitedBy Path_ordering_(term_rewriting).
- Formal_Structures.ps.gz series "International Summer School on Logic of Programming and Calculi of Discrete Design".
- Formal_Structures.ps.gz title "Formal Structures for Computation and Deduction".
- Formal_Structures.ps.gz url Formal_Structures.ps.gz.