Matches in DBpedia 2015-10 for { <http://www.math.tau.ac.il/~nachumd/papers/caap-revised.pdf> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- caap-revised.pdf author "Nachum Dershowitz".
- caap-revised.pdf contribution "Trees, Ordinals and Termination".
- caap-revised.pdf date "Apr 1993".
- caap-revised.pdf isCitedBy Nachum_Dershowitz.
- caap-revised.pdf pages "243-250".
- caap-revised.pdf publisher "Springer".
- caap-revised.pdf series "LNCS".
- caap-revised.pdf title "Proc. CAAP/TAPSOFT".
- caap-revised.pdf url caap-revised.pdf.
- caap-revised.pdf volume "668".