Researcher identifiers

Number of documents


Claude Kirchner

"Claus Hintermeier"   

Journal articles1 document

  • Claus Hintermeier, Claude Kirchner, Hélène Kirchner. Dynamically-Typed Computations for Order-Sorted Equational Presentations. Journal of Symbolic Computation, Elsevier, 1998, 25 (4), pp.455-526. ⟨inria-00098625⟩

Reports1 document

  • Claus Hintermeier, Hélène Kirchner, Claude Kirchner. Dynamically-typed computations for order-sorted equational presentations. [Research Report] RR-2208, INRIA. 1994, pp.114. ⟨inria-00074463⟩