MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Termination of Rewriting." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 421 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Termination of Rewriting with Strategy Annotations  
  • by Salvador Lucas — 2001 — Proc. of 8th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR'01, LNAI 2250:669-684
  • …Termination of Rewriting With Strategy Annotations ? Salvador Lucas DSIC, Universidad Polit…
  • Cited by 15 (13 self) – Add To MetaCart
  • Termination of Rewriting with Local Strategies  
  • by Olivier Fissore, Isabelle Gnaedig, Hélène Kirchner — 2001 — Proc. of 4th International Workshop on Strategies in Automated Deduction, STRATEGIES '01
  • …Termination of rewriting with local strategies Olivier Fissore, Isabelle Gnaedig, Helene Kirchner…
  • Cited by 7 (2 self) – Add To MetaCart
  • Innermost termination of rewriting systems by labeling  
  • by René Thiemann, Lufg Informatik, Rwth Aachen, Aart Middeldorp — 2007 — In Proceedings of the Workshop on Reduction Strategies in Rewriting and Programming (WRS ’07), volume 204 of Electronic Notes in Theoretical Computer Science
  • …WRS 2007 Innermost Termination of Rewrite Systems by Labeling 1 Abstract René Thiemann Lu…
  • Cited by 2 (0 self) – Add To MetaCart
  • Proving termination of rewriting with CiME  
  • by Evelyne Contejean, Claude Marché, Benjamin Monate, Xavier Urbain — 2003 — In Extended Abstracts of the 6th International Workshop on Termination, WST’03
  • …Proving Termination of Rewriting with CiME Evelyne Contejean, Claude Marché, Benjamin Monate…
  • Cited by 16 (5 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB