Matches in DBpedia 2015-10 for { <http://doi.org/10.1016/s0747-7171(87)80022-6> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- s0747-7171(87)80022-6 author "Nachum Dershowitz".
- s0747-7171(87)80022-6 doi "10.1016/s0747-717180022-6".
- s0747-7171(87)80022-6 isCitedBy Nachum_Dershowitz.
- s0747-7171(87)80022-6 journal J._Symbolic_Computation.
- s0747-7171(87)80022-6 pages "69–116".
- s0747-7171(87)80022-6 title "Termination of Rewriting".
- s0747-7171(87)80022-6 url termination.pdf.
- s0747-7171(87)80022-6 volume "3".
- s0747-7171(87)80022-6 year "1987".