Accéder directement au contenu

Claude Kirchner

3
Documents
Identifiants chercheurs

Présentation

Publications

christophe-ringeissen
Image document

Rewriting with strategies in ELAN: a functional semantics

Peter Borovansky , Claude Kirchner , Hélène Kirchner , Christophe Ringeissen
International Journal of Foundations of Computer Science, 2001, pp.27. ⟨10.1142/S0129054101000412⟩
Article dans une revue inria-00098778v1

Rule-Based Constraint Programming

Claude Kirchner , Christophe Ringeissen
Fundamenta Informaticae, 1998, 34 (3), pp.225--262
Article dans une revue inria-00098476v1

An Overview of ELAN

Peter Borovansky , Claude Kirchner , Hélène Kirchner , Pierre-Etienne Moreau , Christophe Ringeissen
Second Workshop on Rewriting Logic and its Applications - WRLA'98, 1998, Pont-à-Mousson, France, 16 p
Communication dans un congrès inria-00098518v1