Matches in DBpedia 2015-10 for { <https://www.uni-ulm.de/fileadmin/website_uni_ulm/iui.inst.190/Mitarbeiter/ohlebusch/PAPERS/RTA00.ps.gz> ?p ?o }
Showing triples 1 to 14 of
14
with 100 triples per page.
- RTA00.ps.gz author1 "Ohlebusch, E.".
- RTA00.ps.gz author2 "Claves, C.".
- RTA00.ps.gz author3 "Marché, C.".
- RTA00.ps.gz contribution "TALP: A Tool for the Termination Analysis of Logic Programs".
- RTA00.ps.gz editor "Bachmair, Leo".
- RTA00.ps.gz format "compressed postscript".
- RTA00.ps.gz isCitedBy Termination_analysis.
- RTA00.ps.gz pages "270–273".
- RTA00.ps.gz publisher "Springer".
- RTA00.ps.gz series "LNCS".
- RTA00.ps.gz title "Rewriting Techniques and Applications, 11th Int. Conf., RTA-00".
- RTA00.ps.gz url RTA00.ps.gz.
- RTA00.ps.gz volume "1833".
- RTA00.ps.gz year "2000".