Decision Problems for Finite Special String-Rewriting Systems that are Confluent on Some Congruence Class.评价结果

评估详情