Claude Kirchner (Kirchner, Claude)

• 
  Automated Deduction, Cade-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 Proceedings
  by H. Kirchner, Claude Kirchner, International Conference on Automated Deduction 1998 Lindau Bavaria
  Softcover, Springer Verlag, ISBN 3540646752 (3-540-64675-2)
• 
  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)
• 
  Rewriting Techniques and Applications: 5th International Conference, Rta-93 Montreal, Canada, June 16-18, 1993 Proceedings
  by Claude Kirchner, International Conference on Rewriting Techniques and Applications 1993
  Softcover, Springer Verlag, ISBN 0387568689 (0-387-56868-9)

  More editions of Rewriting Techniques and Applications: 5th International Conference, Rta-93 Montreal, Canada, June 16-18, 1993 Proceedings:

  • Rewriting Techniques and Applications: 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 Proceedings: Hardcover, Springer-Verlag, ISBN 3540568689 (3-540-56868-9)
• 
  Unification
  by Claude Kirchner
  Softcover, Academic Pr, ISBN 0124095909 (0-12-409590-9)