Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/197f35d4dfe92fddab131ac7e8a8aca9eed98227f009ccb53b77d58cf73be72c> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- 197f35d4dfe92fddab131ac7e8a8aca9eed98227f009ccb53b77d58cf73be72c author "Bachmair, L. and Dershowitz, N.".
- 197f35d4dfe92fddab131ac7e8a8aca9eed98227f009ccb53b77d58cf73be72c contribution "Completion for Rewriting Modulo a Congruence".
- 197f35d4dfe92fddab131ac7e8a8aca9eed98227f009ccb53b77d58cf73be72c editor "Lescanne, Pierre".
- 197f35d4dfe92fddab131ac7e8a8aca9eed98227f009ccb53b77d58cf73be72c isCitedBy Nachum_Dershowitz.
- 197f35d4dfe92fddab131ac7e8a8aca9eed98227f009ccb53b77d58cf73be72c pages "192-203".
- 197f35d4dfe92fddab131ac7e8a8aca9eed98227f009ccb53b77d58cf73be72c publisher "Springer".
- 197f35d4dfe92fddab131ac7e8a8aca9eed98227f009ccb53b77d58cf73be72c series "LNCS".
- 197f35d4dfe92fddab131ac7e8a8aca9eed98227f009ccb53b77d58cf73be72c title "Rewriting Techniques and Applications, 2nd Int. Conf., RTA-87".
- 197f35d4dfe92fddab131ac7e8a8aca9eed98227f009ccb53b77d58cf73be72c volume "256".
- 197f35d4dfe92fddab131ac7e8a8aca9eed98227f009ccb53b77d58cf73be72c year "1987".