Termination Proofs for Ground Rewrite Systems – Interpretations and Derivational Complexity

✍ Scribed by Dieter Hofbauer

• Publisher: Springer
• Year: 2001
• Tongue: English
• Weight: 137 KB
• Volume: 12
• Category: Article
• ISSN: 0938-1279
• DOI: 10.1007/s002000100062