Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/d3125b284f26f818bf8943709d29d4b5cc4d95923c08587caac329b01dbe1759> ?p ?o }
Showing triples 1 to 16 of
16
with 100 triples per page.
- d3125b284f26f818bf8943709d29d4b5cc4d95923c08587caac329b01dbe1759 author1 "Christoph Walther".
- d3125b284f26f818bf8943709d29d4b5cc4d95923c08587caac329b01dbe1759 author2 "Stephan Schweitzer".
- d3125b284f26f818bf8943709d29d4b5cc4d95923c08587caac329b01dbe1759 contribution "Automated Termination Analysis for Incompletely Defined Programs".
- d3125b284f26f818bf8943709d29d4b5cc4d95923c08587caac329b01dbe1759 contributionUrl lpar-2005-termination_incomplete-springer.pdf.
- d3125b284f26f818bf8943709d29d4b5cc4d95923c08587caac329b01dbe1759 editor1 Franz_Baader.
- d3125b284f26f818bf8943709d29d4b5cc4d95923c08587caac329b01dbe1759 editor1 "Franz Baader".
- d3125b284f26f818bf8943709d29d4b5cc4d95923c08587caac329b01dbe1759 editor2 Andrei_Voronkov.
- d3125b284f26f818bf8943709d29d4b5cc4d95923c08587caac329b01dbe1759 editor2 "Andrei Voronkov".
- d3125b284f26f818bf8943709d29d4b5cc4d95923c08587caac329b01dbe1759 isCitedBy Christoph_Walther.
- d3125b284f26f818bf8943709d29d4b5cc4d95923c08587caac329b01dbe1759 isCitedBy Termination_analysis.
- d3125b284f26f818bf8943709d29d4b5cc4d95923c08587caac329b01dbe1759 pages "332–346".
- d3125b284f26f818bf8943709d29d4b5cc4d95923c08587caac329b01dbe1759 publisher "Springer".
- d3125b284f26f818bf8943709d29d4b5cc4d95923c08587caac329b01dbe1759 series "LNAI".
- d3125b284f26f818bf8943709d29d4b5cc4d95923c08587caac329b01dbe1759 title "Proc. 11th Int. Conf. on Logic for Programming, Artificial Intelligence and Reasoning".
- d3125b284f26f818bf8943709d29d4b5cc4d95923c08587caac329b01dbe1759 volume "3452".
- d3125b284f26f818bf8943709d29d4b5cc4d95923c08587caac329b01dbe1759 year "2005".