Proving Termination With Multiset Orderings
Communications of the ACM - United States
doi 10.1145/359138.359142
Full Text
Open PDFAbstract
Available in full text
Categories
Date
August 1, 1979
Authors
Publisher
Association for Computing Machinery (ACM)