Matches in DBpedia 2015-10 for { <http://www.ens-lyon.fr/LIP/REWRITING/TERMINATION/Huet_Lankford.pdf> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- Huet_Lankford.pdf author "Gérard Huet, D.S. Lankford".
- Huet_Lankford.pdf date "Mar 1978".
- Huet_Lankford.pdf institution "IRIA".
- Huet_Lankford.pdf isCitedBy Gérard_Huet.
- Huet_Lankford.pdf number "283".
- Huet_Lankford.pdf pages "8".
- Huet_Lankford.pdf title "On the Uniform Halting Problem for Term Rewriting Systems".
- Huet_Lankford.pdf url Huet_Lankford.pdf.