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 #4
2. Sharing a Library between Proof Assistants: Reaching out to the HOL Family cs.LO · 2018 · author #2
3. Abstract Representation of Binders in OCaml using the Bindlib Library cs.PL · 2018 · author #2
4. Computing the Reveals Relation in Occurrence Nets cs.LO · 2011 · author #2
5. Relating timed and register automata cs.FL · 2010 · author #3

Mentions

• 1106.1230 #2 · backfill · confidence 0.70 LSV
• 1011.6432 #3 · backfill · confidence 0.70 LSV

Frequent Coauthors

• CNRS 2 shared papers
• France) 2 shared papers
• Universit\'e Paris-Saclay 2 shared papers
• Cachan 1 shared papers
• Chamb\'ery 1 shared papers
• Christian Kern (TU M\"unchen) 1 shared papers
• Christophe Raffalli (LAMA 1 shared papers
• CNRS) 1 shared papers
• CRI 1 shared papers
• Diego Figueira (INRIA 1 shared papers
• Ecole Normale Sup\'erieure de Cachan 1 shared papers
• ENS Cachan 1 shared papers
• ENS Paris Saclay) 1 shared papers
• Fran\c{c}ois Thir\'e (ENS Paris-Saclay 1 shared papers
• Fr\'ed\'eric Blanqui (DEDUCTEAM 1 shared papers
• Guillaume Genestier (DEDUCTEAM 1 shared papers
• Inria 1 shared papers
• LIX) 1 shared papers
• LSV) 1 shared papers
• Piotr Hofman (Institute of Informatics 1 shared papers