Nachum Dershowitz

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1979
Publication period end
1979
Number of co-authors
1

Co-authors
Number of publications with favourite co-authors

Productive Colleagues
Most productive colleagues in number of publications

Publications

Dershowitz, Nachum, Manna, Zohar (1979): Proving Termination with Multiset Orderings. In Communications of the ACM, 22 (8) pp. 465-476.