| No. | Title | Author | Year |
|---|---|---|---|
| 1 | Simple Derivation Systems for Proving Sufficient Completeness of Non-Terminating Term Rewriting Systems | Kikuchi, Kentaro et al. | 2021 |
| 2 | Confluence of Orthogonal Nominal Rewriting Systems Revisited | Suzuki, Takaki et al. | 2015 |
| 3 | Proving Strong Normalisation via Non-deterministic Translations into Klop's Extended lambda-Calculus | Kikuchi, Kentaro | 2013 |
| Current Page : | |
| Number of result pages: | 1 |
| Number of documents: | 3 |