Automated termination proofs for haskell by term rewriting

• 期刊名称ACM Transactions on Programming Languages and Systems
• 作者Giesl, Jürgen; Raffelsieper, Matthias; Schneider-Kamp, Peter; Swiderski, Stephan; Thiemann, René
• 卷第33卷
• 期第2期
• 印刷ISSN0164-0925
• 文件大小950.99KB
• 发表时间2011-01-01
• DOI10.1145/1890028.1890030
• 页码1-39