Proving termination with multiset orderings

• 1 January 1979
• book chapter
• Published by Springer Nature
• p. 188-202
• https://doi.org/10.1007/3-540-09510-1_15

Abstract

Keywords

• PRODUCTION SYSTEM
• NATURAL NUMBER
• TERMINATION FUNCTION
• SMALL ELEMENT
• ORDER TYPE