Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/d28f3a3a28131a10979d03719ec0b7d2f15e9dea77db50e8ba8131a57178c5a9> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- d28f3a3a28131a10979d03719ec0b7d2f15e9dea77db50e8ba8131a57178c5a9 author "Snyder, W.".
- d28f3a3a28131a10979d03719ec0b7d2f15e9dea77db50e8ba8131a57178c5a9 contribution "Efficient Ground Completion: An O Algorithm for Generating Reduced Sets of Ground Rewrite Rules Equivalent to a Set of Ground Equations E".
- d28f3a3a28131a10979d03719ec0b7d2f15e9dea77db50e8ba8131a57178c5a9 editor Nachum_Dershowitz.
- d28f3a3a28131a10979d03719ec0b7d2f15e9dea77db50e8ba8131a57178c5a9 isCitedBy Wayne_Snyder.
- d28f3a3a28131a10979d03719ec0b7d2f15e9dea77db50e8ba8131a57178c5a9 pages "419-433".
- d28f3a3a28131a10979d03719ec0b7d2f15e9dea77db50e8ba8131a57178c5a9 publisher "Springer".
- d28f3a3a28131a10979d03719ec0b7d2f15e9dea77db50e8ba8131a57178c5a9 series "LNCS".
- d28f3a3a28131a10979d03719ec0b7d2f15e9dea77db50e8ba8131a57178c5a9 title "Rewriting Techniques and Applications, 3rd Int. Conf., RTA-89".
- d28f3a3a28131a10979d03719ec0b7d2f15e9dea77db50e8ba8131a57178c5a9 volume "355".
- d28f3a3a28131a10979d03719ec0b7d2f15e9dea77db50e8ba8131a57178c5a9 year "1989".