Termination proofs by multiset path orderings imply primitive recursive derivation lengths

✍ Scribed by Dieter Hofbauer

• Book ID: 107948718
• Publisher: Elsevier Science
• Year: 1992
• Tongue: English
• Weight: 714 KB
• Volume: 105
• Category: Article
• ISSN: 0304-3975
• DOI: 10.1016/0304-3975(92)90289-r