Guillaume Genestier (DEDUCTEAM

Identifiers

• name variant Guillaume Genestier (DEDUCTEAM 0.50 · backfill

Papers (1)

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

Mentions

No mention provenance yet.

Frequent Coauthors

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