Relating Confluence, Innermost-Confluence and Outermost-Confluence Properties of Term Rewriting Systems.评价结果

评估详情