Matches in DBpedia 2016-04 for { <http://www.ens-lyon.fr/LIP/REWRITING/TERMINATION/Huet_Lankford.pdf> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- Huet_Lankford.pdf accessdate "2013-06-16".
- Huet_Lankford.pdf author "Gerard Huet, D.S. Lankford".
- 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 isCitedBy Rewriting.
- 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.
- Huet_Lankford.pdf url "http://www.ens-lyon.fr/LIP/REWRITING/TERMINATION/Huet_Lankford.pdf".