Researcher identifiers

Number of documents

4

Claude Kirchner


Christophe Ringeissen   

Journal articles3 documents

  • Peter Borovansky, Claude Kirchner, Hélène Kirchner, Christophe Ringeissen. Rewriting with strategies in ELAN: a functional semantics. International Journal of Foundations of Computer Science, World Scientific Publishing, 2001, 12 (1), pp.69--95. ⟨inria-00100655⟩
  • Peter Borovansky, Claude Kirchner, Hélène Kirchner, Christophe Ringeissen. Rewriting with strategies in ELAN: a functional semantics. International Journal of Foundations of Computer Science, World Scientific Publishing, 1999, 27 p. ⟨inria-00098778⟩
  • Claude Kirchner, Christophe Ringeissen. Rule-Based Constraint Programming. Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 1998, 34 (3), pp.225--262. ⟨inria-00098476⟩

Conference papers1 document

  • Peter Borovansky, Claude Kirchner, Hélène Kirchner, Pierre-Etienne Moreau, Christophe Ringeissen. An Overview of ELAN. Second Workshop on Rewriting Logic and its Applications - WRLA'98, 1998, Pont-à-Mousson, France, 16 p. ⟨inria-00098518⟩