Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/9ba493a6fededffa90d7b4a7ab604bf83effa6dff2b168fa2e6683eb1201cc9b> ?p ?o }
Showing triples 1 to 6 of
6
with 100 triples per page.
- 9ba493a6fededffa90d7b4a7ab604bf83effa6dff2b168fa2e6683eb1201cc9b author "Bachmair, L., Dershowitz, N., Hsiang, J.".
- 9ba493a6fededffa90d7b4a7ab604bf83effa6dff2b168fa2e6683eb1201cc9b chapter "Orderings for Equational Proofs".
- 9ba493a6fededffa90d7b4a7ab604bf83effa6dff2b168fa2e6683eb1201cc9b date "Jun 1986".
- 9ba493a6fededffa90d7b4a7ab604bf83effa6dff2b168fa2e6683eb1201cc9b isCitedBy Knuth–Bendix_completion_algorithm.
- 9ba493a6fededffa90d7b4a7ab604bf83effa6dff2b168fa2e6683eb1201cc9b pages "346–357".
- 9ba493a6fededffa90d7b4a7ab604bf83effa6dff2b168fa2e6683eb1201cc9b title "Proc. IEEE Symposium on Logic in Computer Science".