Matches in DBpedia 2015-10 for { <http://verify.rwth-aachen.de/giesl/papers/rta_extended.ps> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- rta_extended.ps author "Giesl, J.".
- rta_extended.ps contribution "Generating Polynomial Orderings for Termination Proofs".
- rta_extended.ps editor "Hsiang, Jieh".
- rta_extended.ps format "postscript".
- rta_extended.ps isCitedBy Termination_analysis.
- rta_extended.ps pages "426–431".
- rta_extended.ps publisher "Springer".
- rta_extended.ps series "LNCS".
- rta_extended.ps title "Rewriting Techniques and Applications, 6th Int. Conf., RTA-95".
- rta_extended.ps url rta_extended.ps.
- rta_extended.ps volume "914".
- rta_extended.ps year "1995".