Author:
Dershowitz Nachum,Ellerman E. Castedo
Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. Dershowitz, N., Manna, Z.: Proving termination with multiset orderings. Communications of the ACM 22(8), 465–476 (1979)
2. Lecture Notes in Computer Science;N. Dershowitz,1992
3. Jouannaud, J.-P., Lescanne, P.: On multiset orderings. Information Processing Letters 15(2), 57–63 (1982)
4. Martin, U.: Extension functions for multiset orderings. Information Processing Letters 26, 181–186 (1987)
5. Martin, U.: A geometrical approach to multiset orderings. Information Processing Letters 67, 37–54 (1989)