pith. sign in

Fr\'ed\'eric Blanqui (LIAMA)

Identifiers

  • name variant Fr\'ed\'eric Blanqui (LIAMA) 0.60 · backfill

Papers (7)

  1. CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates cs.LO · 2012 · author #1
  2. First steps towards the certification of an ARM simulator using Compcert cs.LO · 2012 · author #5
  3. Static Dependency Pair Method based on Strong Computability for Higher-Order Rewrite Systems cs.LO · 2011 · author #4
  4. Argument filterings and usable rules in higher-order rewrite systems cs.LO · 2011 · author #3
  5. On the confluence of lambda-calculus with conditional rewriting cs.LO · 2011 · author #1
  6. Designing a CPU model: from a pseudo-formal document to fast code cs.SE · 2011 · author #1
  7. On the relation between size-based termination and semantic labelling cs.LO · 2009 · author #1

Mentions

  • 1202.6473 #1 · backfill · confidence 0.70 Fr\'ed\'eric Blanqui (LIAMA)
  • 1202.6472 #5 · backfill · confidence 0.70 Fr\'ed\'eric Blanqui (LIAMA)
  • 1109.5468 #4 · backfill · confidence 0.70 Fr\'ed\'eric Blanqui (LIAMA)
  • 1109.4357 #3 · backfill · confidence 0.70 Fr\'ed\'eric Blanqui (LIAMA)
  • 1109.4353 #1 · backfill · confidence 0.70 Fr\'ed\'eric Blanqui (LIAMA)
  • 1109.4351 #1 · backfill · confidence 0.70 Fr\'ed\'eric Blanqui (LIAMA)
  • 0906.4173 #1 · backfill · confidence 0.70 Fr\'ed\'eric Blanqui (LIAMA)

Frequent Coauthors