Jean-Pierre Jouannaud (LIX

Identifiers

• name variant Jean-Pierre Jouannaud (LIX 0.60 · backfill

Papers (2)

1. The computability path ordering: the end of a quest cs.LO · 2008 · author #2
2. From formal proofs to mathematical proofs: a safe, incremental way for building in first-order decision procedures cs.LO · 2008 · author #2

Mentions

• 0806.2517 #2 · backfill · confidence 0.70 Jean-Pierre Jouannaud (LIX
• 0804.3762 #2 · backfill · confidence 0.70 Jean-Pierre Jouannaud (LIX

Frequent Coauthors

• Fr\'ed\'eric Blanqui (INRIA Lorraine - LORIA) 2 shared papers
• INRIA Saclay Ile de France) 2 shared papers
• Albert Rubio 1 shared papers
• Pierre-Yves Strub (LIX 1 shared papers