Nachum Dershowitz
Author Archives
Seeking to rectify the two mutually exclusive ways of comparing computational power — encoding and simulation.
Proving termination with multiset orderings
A common tool for proving the termination of programs is the well-founded set, a set ordered in such a way as to admit no infinite descending sequences. The basic…
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved