Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/1aeb48be0e7dc988d8344722ccdd9d3dcb34f062f5347e6c5d3101ded0117102> ?p ?o }
Showing triples 1 to 7 of
7
with 100 triples per page.
- 1aeb48be0e7dc988d8344722ccdd9d3dcb34f062f5347e6c5d3101ded0117102 author "Bachmair, L. and Dershowitz, N. and Hsiang, J.".
- 1aeb48be0e7dc988d8344722ccdd9d3dcb34f062f5347e6c5d3101ded0117102 contribution "Orderings for Equational Proofs".
- 1aeb48be0e7dc988d8344722ccdd9d3dcb34f062f5347e6c5d3101ded0117102 date "Jun 1986".
- 1aeb48be0e7dc988d8344722ccdd9d3dcb34f062f5347e6c5d3101ded0117102 isCitedBy Nachum_Dershowitz.
- 1aeb48be0e7dc988d8344722ccdd9d3dcb34f062f5347e6c5d3101ded0117102 location "Cambridge/MA".
- 1aeb48be0e7dc988d8344722ccdd9d3dcb34f062f5347e6c5d3101ded0117102 pages "346-357".
- 1aeb48be0e7dc988d8344722ccdd9d3dcb34f062f5347e6c5d3101ded0117102 title "Proc. IEEE Symposium on Logic in Computer Science".