Researcher identifiers

Number of documents

3

Claude Kirchner


"Germain Faure"   

Journal articles1 document

  • Horatiu Cirstea, Germain Faure, Claude Kirchner. A Rho-Calculus of explicit constraint application. Higher-Order and Symbolic Computation, Springer Verlag, 2007, Special Issue on Rewriting Logic and its Applications, 20, pp.37-72. ⟨10.1007/s10990-007-9004-2⟩. ⟨inria-00000628v3⟩

Conference papers2 documents

  • Horatiu Cirstea, Germain Faure, Claude Kirchner. A rho-calculus of explicit constraint application.. Workshop on Rewriting Logic and Applications, Mar 2004, Barcelona (Spain), Spain. ⟨inria-00095626⟩
  • Germain Faure, Claude Kirchner. Exceptions in the rewriting calculus. 13th International Conference on Rewriting Techniques and Applications - RTA 2002, Jul 2002, Copenhagen/Denmark, pp.66--82. ⟨inria-00101011v2⟩