Author: Nachum Dershowitz
Publications
Publication period start: 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.