Matches in DBpedia 2015-10 for { <https://www.lri.fr/~marche/marche07rta.pdf> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- marche07rta.pdf author "Marché, C.".
- marche07rta.pdf author2 Hans_Zantema.
- marche07rta.pdf contribution "The Termination Competition".
- marche07rta.pdf editor "Baader, F.".
- marche07rta.pdf isCitedBy Termination_analysis.
- marche07rta.pdf pages "303–313".
- marche07rta.pdf publisher "Springer".
- marche07rta.pdf series "LNCS".
- marche07rta.pdf title "Term Rewriting and Applications, 18th Int. Conf., RTA-07".
- marche07rta.pdf url marche07rta.pdf.
- marche07rta.pdf volume "4533".
- marche07rta.pdf year "2007".