LSV)

Identifiers

• name variant LSV) 0.60 · backfill

Papers (5)

1. Termination of $\lambda$$\Pi$ modulo rewriting using the size-change principle (work in progress) cs.LO · 2018 · author #2
2. Size-based termination of higher-order rewriting cs.LO · 2018 · author #2
3. Free fall and cellular automata nlin.CG · 2016 · author #4
4. Models and termination of proof reduction in the $\lambda$$\Pi$-calculus modulo theory cs.LO · 2015 · author #2
5. Alternating register automata on finite words and trees cs.DB · 2012 · author #2

Mentions

• 1501.06522 #2 · backfill · confidence 0.70 LSV)
• 1202.3957 #2 · backfill · confidence 0.70 LSV)

Frequent Coauthors

• Fr\'ed\'eric Blanqui (DEDUCTEAM 2 shared papers
• CRI 1 shared papers
• Diego Figueira (INRIA & ENS Cachan 1 shared papers
• ENS Paris Saclay) 1 shared papers
• Gilles Dowek (DEDUCTEAM 1 shared papers
• Gilles Dowek (Inria 1 shared papers
• Guillaume Genestier (DEDUCTEAM 1 shared papers
• LIF) 1 shared papers
• LSV 1 shared papers
• Pablo Arrighi (University Aix-Marseille 1 shared papers