Matches in DBpedia 2016-04 for { <http://www.cs.tau.ac.il/~nachum/papers/Orderings4TRS.pdf> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- Orderings4TRS.pdf author "N. Dershowitz".
- Orderings4TRS.pdf isCitedBy Path_ordering_(term_rewriting).
- Orderings4TRS.pdf isCitedBy Rewrite_order.
- Orderings4TRS.pdf journal "Theoret. Comput. Sci.".
- Orderings4TRS.pdf number "3".
- Orderings4TRS.pdf pages "279--301".
- Orderings4TRS.pdf pages "279–301".
- Orderings4TRS.pdf title "Orderings for Term-Rewriting Systems".
- Orderings4TRS.pdf url Orderings4TRS.pdf.
- Orderings4TRS.pdf volume "17".
- Orderings4TRS.pdf year "1982".