CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems.
| Autor: | Shintani, Kiraku, Hirokawa, Nao |
|---|---|
| Zdroj: | Automated Deduction - CADE-25; 2015, p127-136, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Shintani, Kiraku, Hirokawa, Nao |
|---|---|
| Zdroj: | Automated Deduction - CADE-25; 2015, p127-136, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|