Researcher identifiers

Number of documents

2

Claude Kirchner


"Colin Riba"   

Journal articles1 document

Conference papers1 document

  • Frédéric Blanqui, Claude Kirchner, Colin Riba. On the confluence of lambda-calculus with conditional rewriting. Foundations of Software Science and Computation Structures, Mar 2006, Vienne, Austria. ⟨10.1007/11690634_26⟩. ⟨inria-00000729v2⟩