Colin Riba (LIP)

Identifiers

• name variant Colin Riba (LIP) 0.60 · backfill

Papers (1)

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

Mentions

• 1109.4353 #3 · backfill · confidence 0.70 Colin Riba (LIP)

Frequent Coauthors

• Claude Kirchner (INRIA Bordeaux Sud-Ouest) 1 shared papers
• Fr\'ed\'eric Blanqui (LIAMA) 1 shared papers