pith. sign in

Fr\'ed\'eric Blanqui (INRIA Lorraine - LORIA)

Identifiers

  • name variant Fr\'ed\'eric Blanqui (INRIA Lorraine - LORIA) 0.60 · backfill

Papers (12)

  1. The computability path ordering: the end of a quest cs.LO · 2008 · author #1
  2. From formal proofs to mathematical proofs: a safe, incremental way for building in first-order decision procedures cs.LO · 2008 · author #1
  3. HORPO with Computability Closure : A Reconstruction cs.LO · 2007 · author #1
  4. Computability Closure: Ten Years Later cs.LO · 2007 · author #1
  5. Building Decision Procedures in the Calculus of Inductive Constructions cs.LO · 2007 · author #1
  6. On the implementation of construction functions for non-free concrete data types cs.LO · 2007 · author #1
  7. Inductive types in the Calculus of Algebraic Constructions cs.LO · 2006 · author #1
  8. Higher-Order Termination: from Kruskal to Computability cs.LO · 2006 · author #1
  9. (HO)RPO Revisited cs.LO · 2006 · author #1
  10. Combining typing and size constraints for checking the termination of higher-order conditional rewrite systems cs.LO · 2006 · author #1
  11. On the confluence of lambda-calculus with conditional rewriting cs.LO · 2006 · author #1
  12. Decidability of Type-checking in the Calculus of Algebraic Constructions with Size Annotations cs.LO · 2006 · author #1

Mentions

  • 0806.2517 #1 · backfill · confidence 0.70 Fr\'ed\'eric Blanqui (INRIA Lorraine - LORIA)
  • 0804.3762 #1 · backfill · confidence 0.70 Fr\'ed\'eric Blanqui (INRIA Lorraine - LORIA)
  • 0708.3582 #1 · backfill · confidence 0.70 Fr\'ed\'eric Blanqui (INRIA Lorraine - LORIA)
  • 0707.1372 #1 · backfill · confidence 0.70 Fr\'ed\'eric Blanqui (INRIA Lorraine - LORIA)
  • 0707.1266 #1 · backfill · confidence 0.70 Fr\'ed\'eric Blanqui (INRIA Lorraine - LORIA)

Frequent Coauthors