Hèléne Kirchner (Helene Kirchner / Kirchner, Hèléne / Kirchner, Helene)

• 
  Algebraic Methodology and Software Technology: 9th International Conference, Amast 2002, Saint-Gilles-Les-Bains, Reunion Island, France, September 9-13, 2002 Proceedings
  by Helene Kirchner, Christophe Ringeissen
  Softcover, Springer Verlag, ISBN 3540441441 (3-540-44144-1)
• 
  Frontiers of Combining Systems: Third International Workshop, Frocos 2000, Nancy, France, March 22-24, 2000 Proceedings
  by Helene Kirchner, C. Ringeissen
  Softcover, Springer Verlag, ISBN 3540672818 (3-540-67281-8)
• 
  Rewriting Computation And Proof: Essays Dedicated to Jean-pierre Jouannaud on the Occasion of His 60th Birthday
  by Helene Kirchner, Claude Kirchner, Hubert Comon-lundh
  Softcover, Springer-Verlag New York Inc, ISBN 3540731466 (3-540-73146-6)
• 
  Trees in Algebra and Programming- Caap'96: 21st International Colloquium, Linkoping, Sweden, April 22-24, 1996, Proceedings
  by H. Kirchner, Caap '9 1996 Linkoping, Sweden)
  Softcover, Springer Verlag, ISBN 3540610642 (3-540-61064-2)