Search Results - Dershowitz, Nachum

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 - 2 results of 2
Refine Results
  1. 1
    The evolution of programs

    The evolution of programs by Dershowitz, Nachum

    Published 1983
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:
  2. 2
    Pillars of computer science essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday

    Pillars of computer science essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday

    Published 2008
    Other Authors:
    Click Here to View Status and Holdings.
    Unknown

    Save to List
    Saved in:

Search Tools: