Fr\'ed\'eric Blanqui (INRIA)

Identifiers

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

Papers (2)

1. Proceedings of the 13th International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice cs.LO · 2018 · author #1
2. The computability path ordering cs.LO · 2015 · author #1

Mentions

• 1506.03943 #1 · backfill · confidence 0.70 Fr\'ed\'eric Blanqui (INRIA)

Frequent Coauthors

• Albert Rubio (Technical University of Catalonia) 1 shared papers
• Giselle Reis (CMU) 1 shared papers
• Jean-Pierre Jouannaud (Ecole Polytechnique 1 shared papers
• Tsinghua University) 1 shared papers
• Universit\'e Paris-Sud 1 shared papers