MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Orderings for Term-Rewriting Systems" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 94 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Orderal Term Rewriting Systems  
  • by Maxim Lifantsev Department, Maxim L. Lifantsev
  • …Orderal Term Rewriting Systems Maxim L. Lifantsev Department of Cybernetics Moscow State…
  • Add To MetaCart
  • Origin Tracking for Higher-Order Term Rewriting Systems  
  • by A. Van Deursen, Arie Van Deursen, T.B. Dinesh, T. B. Dinesh — 1993 — Proceedings of the International Workshop on Higher-Order Algebra, Logic and Term Rewriting HOA93
  • … Origin Tracking for Higher-Order Term Rewriting Systems Arie van Deursen and T.B. Dinesh farie…
  • Cited by 3 (2 self) – Add To MetaCart
  • Dagstuhl Seminar on Deduction  
  • by Wolfgang Bibel, Koichi Furukawa, Mark Stickel, Technische Hochschule Darmstadt — 1995
  • … for testing termination and decreasingness of higher-order conditional term rewriting systems. The ordering…
  • Add To MetaCart
  • Oostrom, Uniform normalisation beyond orthogonality  
  • by Zurab Khasidashvili, Mizuhito Ogawa, Vincent Van Oostrom — 2001 — Proceedings of the Twelfth International Conference on Rewriting Techniques and Applications (RTA ’01), Lecture Notes in Computer Science (2001
  • … normalisation results for abstract rewrite systems (ARSs), first-order term rewrite systems (TRSs) and second-order…
  • Cited by 4 (0 self) – Add To MetaCart
  • Developing Developments  
  • by Vincent Van Oostrom — 1994
  • …. This decomposition has been shown useful in [OR94, Oos94] in the case of first-order term rewriting systems (TRSs…
  • Cited by 11 (2 self) – Add To MetaCart
  • Higher-Order Families  
  • by Vincent Van Oostrom — 1996 — In International Conference on Rewriting Techniques and Applications '96, LNCS
  • … term rewriting systems (OHRSs). In order to comfort our formalisation of the intuitive concept…
  • Cited by 13 (2 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB