MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Rewrite-Based Decision Procedures." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 8 documents found, showing 1 through 8.
ATOM RSS
  • Rewriting Methods for Word Problems  
  • by Nachum Dershowitz — 1992 — Words, Languages & Combinatorics (Proceedings of the International Colloquium, Kyoto
  • … Many rewrite-system decision procedures are known; perhaps the first such procedure for a word problem…
  • Cited by 2 (1 self) – Add To MetaCart
  • 33 Examples of Termination  
  • by Nachum Dershowitz — 1995 — In Proc. French Spring School of Theoretical Computer Science, LNCS 909
  • … the rst rewrite-based decision procedure, using these dozen rules to compute normal forms: xnx ! e x (xny…
  • Cited by 20 (0 self) – Add To MetaCart
  • Abstract canonical inference  
  • by Maria Paola Bonacina — 2007 — ACM Trans. on Computational Logic
  • … of formulæ that are “complete” in the sense that completion can provide a rewriting-based decision procedure…
  • Cited by 8 (5 self) – Add To MetaCart
  • The simple type theory of normalisation by evaluation  
  • by René Vestergaard — 2001 — Proceedings of the First International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001), number 57 in Electronic Notes in Theoretical Computer Science
  • …, has so-far been considered to be the fact that the algorithm amounts to a non-rewriting-based decision…
  • Cited by 1 (0 self) – Add To MetaCart
Help! Showing 1 through 8.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB