CRI

Identifiers

• name variant CRI 0.50 · backfill

Papers (1)

1. Termination of $\lambda$$\Pi$ modulo rewriting using the size-change principle (work in progress) cs.LO · 2018 · author #5

Mentions

No mention provenance yet.

Frequent Coauthors

• ENS Paris Saclay) 1 shared papers
• Fr\'ed\'eric Blanqui (DEDUCTEAM 1 shared papers
• Guillaume Genestier (DEDUCTEAM 1 shared papers
• LSV 1 shared papers
• LSV) 1 shared papers