Matches in DBpedia 2015-10 for { <http://www.inferenzsysteme.informatik.tu-darmstadt.de/media/is/publikationen/On-proving-termination-AIJ-71-1_1994-2.pdf> ?p ?o }
Showing triples 1 to 13 of
13
with 100 triples per page.
- On-proving-termination-AIJ-71-1_1994-2.pdf author "Christoph Walther".
- On-proving-termination-AIJ-71-1_1994-2.pdf authorlink "Christoph Walther".
- On-proving-termination-AIJ-71-1_1994-2.pdf first "Christoph".
- On-proving-termination-AIJ-71-1_1994-2.pdf isCitedBy Christoph_Walther.
- On-proving-termination-AIJ-71-1_1994-2.pdf isCitedBy Termination_analysis.
- On-proving-termination-AIJ-71-1_1994-2.pdf isCitedBy Walther_recursion.
- On-proving-termination-AIJ-71-1_1994-2.pdf journal Artificial_Intelligence_(journal).
- On-proving-termination-AIJ-71-1_1994-2.pdf last "Walther".
- On-proving-termination-AIJ-71-1_1994-2.pdf number "1".
- On-proving-termination-AIJ-71-1_1994-2.pdf title "On Proving the Termination of Algorithms by Machine".
- On-proving-termination-AIJ-71-1_1994-2.pdf url On-proving-termination-AIJ-71-1_1994-2.pdf.
- On-proving-termination-AIJ-71-1_1994-2.pdf volume "70".
- On-proving-termination-AIJ-71-1_1994-2.pdf year "1991".