Fr\'ed\'eric Blanqui (DEDUCTEAM

Identifiers

No identifiers captured yet.

Papers (2)

1. Termination of $\lambda$$\Pi$ modulo rewriting using the size-change principle (work in progress) cs.LO · 2018 · author #1
2. Size-based termination of higher-order rewriting cs.LO · 2018 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• LSV) 2 shared papers
• CRI 1 shared papers
• ENS Paris Saclay) 1 shared papers
• Guillaume Genestier (DEDUCTEAM 1 shared papers
• LSV 1 shared papers