Proving Termination of (Conditional) Rewrite Systems. A Semantic Approach.评价结果

评估详情

6