Matches in DBpedia 2015-10 for { <http://dspace.mit.edu/bitstream/handle/1721.1/35388/31163520.pdf> ?p ?o }
Showing triples 1 to 8 of
8
with 100 triples per page.
- 31163520.pdf accessdate "2014-09-15".
- 31163520.pdf first "Alexander".
- 31163520.pdf isCitedBy Walther_recursion.
- 31163520.pdf last "Wu".
- 31163520.pdf publisher Massachusetts_Institute_of_Technology.
- 31163520.pdf title "Automated termination proofs using Walther recursion".
- 31163520.pdf url 31163520.pdf.
- 31163520.pdf year "1994".