C. Kirchner (Kirchner, C.)
-
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 Techniques and Applications: 5th International Conference, RTA-93, Montreal, Canada, June 16-18, 1993 Proceedings
by Claude Kirchner
Hardcover, Springer-Verlag, ISBN 3540568689 (3-540-56868-9)
-
Term Rewriting Systems
by C. Kirchner, H. Kirchner
Hardcover, Elsevier Science & Technology, ISBN 0444887547 (0-444-88754-7)