Matches in DBpedia 2016-04 for { <http://pauillac.inria.fr/~huet/PUBLIC/Hampton.pdf> ?p ?o }
Showing triples 1 to 24 of
24
with 100 triples per page.
- Hampton.pdf author "Gérard Huet".
- Hampton.pdf chapter "9.46728E8".
- Hampton.pdf date "2002".
- Hampton.pdf editor "V. Carreño and C. Muñoz and S. Tahar".
- Hampton.pdf editor1First "V.".
- Hampton.pdf editor1Last "Carreño".
- Hampton.pdf editor2First "C.".
- Hampton.pdf editor2Last "Muñoz".
- Hampton.pdf editor3First "S.".
- Hampton.pdf editor3Last "Tahar".
- Hampton.pdf first "Gérard".
- Hampton.pdf format "PDF".
- Hampton.pdf isCitedBy Gérard_Huet.
- Hampton.pdf isCitedBy Higher-order_logic.
- Hampton.pdf last "Huet".
- Hampton.pdf pages "3–12".
- Hampton.pdf publisher "Springer".
- Hampton.pdf series "LNCS".
- Hampton.pdf title "Proceedings, 15th International Conference TPHOL".
- Hampton.pdf url Hampton.pdf.
- Hampton.pdf url "http://pauillac.inria.fr/~huet/PUBLIC/Hampton.pdf".
- Hampton.pdf url HOU.ps.
- Hampton.pdf volume "2410".
- Hampton.pdf year "2002".