Claude Kirchner (INRIA Bordeaux Sud-Ouest)

Identifiers

• name variant Claude Kirchner (INRIA Bordeaux Sud-Ouest) 0.60 · backfill

Papers (1)

1. On the confluence of lambda-calculus with conditional rewriting cs.LO · 2011 · author #2

Mentions

• 1109.4353 #2 · backfill · confidence 0.70 Claude Kirchner (INRIA Bordeaux Sud-Ouest)

Frequent Coauthors

• Colin Riba (LIP) 1 shared papers
• Fr\'ed\'eric Blanqui (LIAMA) 1 shared papers