MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named Nachum Dershowitz – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 59 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Primitive and Partial Rewriting  
  • by Nachum Dershowitz — 2000
  • …Primitive and Partial Rewriting --- DRAFT --- Nachum Dershowitz School of Computer Science Tel…
  • Add To MetaCart
  • Innocuous Constructor-Sharing Combinations  
  • by Nachum Dershowitz — 1997 — Proceedings of the Eighth International Conference onRewriting Techniques and Applications (Sitges, Spain), number 1232 in Lecture Notes in Computer Science
  • …Innocuous Constructor-Sharing Combinations Nachum Dershowitz Department of Computer Science Hebrew…
  • Cited by 3 (1 self) – Add To MetaCart
  • Rewriting Methods for Word Problems  
  • by Nachum Dershowitz — 1992 — Words, Languages & Combinatorics (Proceedings of the International Colloquium, Kyoto
  • …REWRITING METHODS FOR WORD PROBLEMS NACHUM DERSHOWITZ Department of Computer Science, University…
  • Cited by 2 (1 self) – Add To MetaCart
  • Bit Inference  
  • by Nachum Dershowitz
  • …Bit Inference Nachum Dershowitz 16 David Avidan St., Tel Aviv, Israel nachumd@(email omitted); Abstract…
  • Add To MetaCart
  • 33 Examples of Termination  
  • by Nachum Dershowitz — 1995 — In Proc. French Spring School of Theoretical Computer Science, LNCS 909
  • …33 Examples of Termination ? Nachum Dershowitz Department of Computer Science, University…
  • Cited by 20 (0 self) – Add To MetaCart
  • Hierarchical Termination  
  • by Nachum Dershowitz — 1995 — Theoretical Computer Science
  • …Hierarchical Termination ? Nachum Dershowitz Department of Computer Science University of Illinois…
  • Cited by 82 (9 self) – Add To MetaCart
  • Goal Solving as Operational Semantics  
  • by Nachum Dershowitz — 1995 — Proceedings of the International Symposium on Logic Programming
  • …Goal Solving as Operational Semantics Nachum Dershowitz Department of Computer Science University…
  • Cited by 6 (1 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB