Author: Nachum Dershowitz
Publication Overview
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.