Layer Systems for Proving Confluence

• 期刊名称ACM Transactions on Computational Logic
• 作者Felgenhauer, Bertram; Middeldorp, Aart; Zankl, Harald; Van Oostrom, Vincent
• 卷第16卷
• 期第2期
• 印刷ISSN1529-3785
• 文件大小553.12KB
• 发表时间2015-03-09
• DOI10.1145/2710017
• 页码1-32