Accéder directement au contenu

Claude Kirchner

2
Documents
Identifiants chercheurs

Présentation

Publications

christophe-ringeissen
helene-kirchner

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