Matches in DBpedia 2016-04 for { <http://doi.org/10.1016/0020-0190(87)90122-0> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- 0020-0190(87)90122-0 author "Y. Toyama".
- 0020-0190(87)90122-0 doi "10.1016/0020-019090122-0".
- 0020-0190(87)90122-0 isCitedBy Rewriting.
- 0020-0190(87)90122-0 journal "Inform. Process. Lett.".
- 0020-0190(87)90122-0 pages "141–143".
- 0020-0190(87)90122-0 title "Counterexamples to Termination for the Direct Sum of Term Rewriting Systems".
- 0020-0190(87)90122-0 url "http://www.nue.riec.tohoku.ac.jp/user/toyama/research/paper/journal/counterexamples.pdf".
- 0020-0190(87)90122-0 volume "25".
- 0020-0190(87)90122-0 year "1987".