Accéder directement au contenu

Claude Kirchner

3
Documents
Identifiants chercheurs

Présentation

Publications

830964
Image document

A Rho-Calculus of explicit constraint application

 Horatiu Cirstea , Germain Faure , Claude Kirchner
Higher-Order and Symbolic Computation, 2007, Special Issue on Rewriting Logic and its Applications, 20, pp.37-72. ⟨10.1007/s10990-007-9004-2⟩
Article dans une revue inria-00000628v3
Image document

A rho-calculus of explicit constraint application.

 Horatiu Cirstea , Germain Faure , Claude Kirchner
Workshop on Rewriting Logic and Applications, Mar 2004, Barcelona (Spain), Spain
Communication dans un congrès inria-00095626v1
Image document

Exceptions in the rewriting calculus

 Germain Faure , Claude Kirchner
13th International Conference on Rewriting Techniques and Applications - RTA 2002, Jul 2002, Copenhagen/Denmark, pp.66--82
Communication dans un congrès inria-00101011v2