MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Rewriting." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 49,581 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Rewriting  
  • by Nachum Dershowitz, David A. Plaisted — 2001
  • … . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 567 7 Relativized Rewriting . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 574…
  • Cited by 401 (19 self) – Add To MetaCart
  • Rewriting with Layout  
  • by M.G.J. van den Brand, J. J. Vinju — 2000
  • …Rewriting with Layout M.G.J. van den Brand Mark.van.den.Brand@(email omitted); CWI Kruislaan 413, NL-1098…
  • Cited by 12 (0 self) – Add To MetaCart
  • Abstract Rewriting  
  • by D. Duval, R. Echahed, F. Prost — 1993 — In Proc. of Third Int'l Workshop on Static Analysis, WSA'93
  • …arXiv:cs.PL/0503065 v1 24 Mar 2005 Data-Structure Rewriting D. Duval 1 , R. Echahed 2 , F. Prost 2…
  • Cited by 14 (3 self) – Add To MetaCart
  • Grammar Rewriting  
  • by David Mcallester — 1991 — Proceedings 11th International Conference on Automated Deduction
  • … December 1991 Grammar Rewriting David McAllester Abstract We present a term rewriting procedure based…
  • Cited by 10 (2 self) – Add To MetaCart
  • Rewriting Systems  
  • by Johan Boye, Jan Maluszynski, Ulf Nilsson — 1999
  • …Rewriting Systems Lecture Notes Johan Boye Jan Ma/luszy'nski Ulf Nilsson September 1999 Contents…
  • Cited by 2 (0 self) – Add To MetaCart
  • Rewriting Systems  
  • by Lecture Notes, Johan Boye, Ulf Nilsson
  • …Rewriting Systems Lecture Notes Johan Boye Jan Ma/luszy'nski Ulf Nilsson October 9, Copyright c…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB