Pierre-Yves Strub (LIX

Identifiers

• name variant Pierre-Yves Strub (LIX 0.60 · backfill

Papers (1)

1. From formal proofs to mathematical proofs: a safe, incremental way for building in first-order decision procedures cs.LO · 2008 · author #4

Mentions

• 0804.3762 #4 · backfill · confidence 0.70 Pierre-Yves Strub (LIX

Frequent Coauthors

• Fr\'ed\'eric Blanqui (INRIA Lorraine - LORIA) 1 shared papers
• INRIA Saclay Ile de France) 1 shared papers
• Jean-Pierre Jouannaud (LIX 1 shared papers