Matches in DBpedia 2016-04 for { <http://doi.org/10.1016/s0019-9958(85)80005-x> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- s0019-9958(85)80005-x author "David A. Plaisted".
- s0019-9958(85)80005-x doi "10.1016/s0019-995880005-x".
- s0019-9958(85)80005-x isCitedBy David_Plaisted.
- s0019-9958(85)80005-x journal "Information and Control".
- s0019-9958(85)80005-x number "2/3".
- s0019-9958(85)80005-x pages "182–215".
- s0019-9958(85)80005-x title "Semantic Confluence Tests and Completion Methods".
- s0019-9958(85)80005-x url "http://www.sciencedirect.com/science/article/pii/S001999588580005X/pdf?md5=796e6493f7165f75482dffc2f1669df4&pid=1-s2.0-S001999588580005X-main.pdf".
- s0019-9958(85)80005-x volume "65".
- s0019-9958(85)80005-x year "1985".