Title | ||
---|---|---|
Proving Confluence of Term Rewriting Systems via Persistency and Decreasing Diagrams. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1007/978-3-319-08918-8_4 | RTA-TLCA |
Field | DocType | Citations |
Discrete mathematics,Nonlinear system,Computer science,Algorithm,Confluence,Rewriting | Conference | 0 |
PageRank | References | Authors |
0.34 | 4 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Takahito Aoto | 1 | 121 | 17.53 |
Yoshihito Toyama | 2 | 533 | 49.60 |
Kazumasa Uchida | 3 | 0 | 0.34 |