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 - 1 results of 1 for search 'Dershowitz, Nachum', query time: 0.01s Refine Results
  1. 1

    Conditional and typed rewriting systems : Proceedings /

    Published 1995
    Other Authors: “…Dershowitz, Nachum…”
    Conference Proceeding Book