论文信息 - Rule Labeling for Conuence of Left-Linear Term Rewrite Systems - 字舞流文

Rule Labeling for Conuence of Left-Linear Term Rewrite Systems

Bertram Felgenhauer

[1] Bertram Felgenhauer,et al. Labelings for Decreasing Diagrams , 2011, RTA.