Jean-Pierre Jouannaud (LIX)

Identifiers

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

Papers (2)

1. HORPO with Computability Closure : A Reconstruction cs.LO · 2007 · author #2
2. Higher-Order Termination: from Kruskal to Computability cs.LO · 2006 · author #2

Mentions

• 0708.3582 #2 · backfill · confidence 0.70 Jean-Pierre Jouannaud (LIX)

Frequent Coauthors

• Albert Rubio 2 shared papers
• Fr\'ed\'eric Blanqui (INRIA Lorraine - LORIA) 2 shared papers