Nachum Dershowitz

Nachum Dershowitz () is an Israeli computer scientist, known e.g. for the Dershowitz–Manna ordering and the multiset path ordering used to prove termination of term rewrite systems. Provided by Wikipedia
Showing 1 - 4 results of 4 for search 'Dershowitz, Nachum', query time: 0.01s Refine Results
  1. 1
    The evolution of programs /
    Book
    by Dershowitz, Nachum
    Published 1983
    Save to List
    Saved in:
  2. 2
    The evolution of programs : a system for automatic program modification / Nachum Dershowitz and Zohar Manna.
    Book
    Save to List
    Saved in:
  3. 3
    Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings /
    Conference Proceeding Book
    Published 1989
    Other Authors: “…Dershowitz, Nachum…”
    Save to List
    Saved in:
  4. 4
    Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings /
    Conference Proceeding Book
    Published 1995
    Other Authors: “…Dershowitz, Nachum…”
    Save to List
    Saved in:
Search Tools: RSS Feed – Email Search