Kirchner, Claude.
VIAF ID: 2546701 (Personal)
Permalink: http://viaf.org/viaf/2546701
Preferred Forms
-
100 1 _ ‡a Kirchner, Claude.
-
100 1 _ ‡a Kirchner, Claude (undifferentiated)
-
100 1 _ ‡a Kirchner, Claude
-
100 1 _ ‡a Kirchner, Claude
-
200 _ | ‡a Kirchner ‡b Claude
-
100 1 0 ‡a Kirchner, Claude
4xx's: Alternate Name Forms (1)
Selected Titles
- Unification
(4)
- Rewriting, Computation and Proof Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday
(3)
- Automated deduction, CADE-15 : 15th International conference on automated deduction, Lindau, Germany, July 5-10, 1998 : proceedings.
(3)
- Automated deduction
(3)
- Rewriting techniques and applications : 5th international conference, RTA-93, Montreal, Canada, June 16-18, 1993 : proceedings
(2)
- Rewriting techniques and applications
(2)
- Unification
(1)
- CADE-15
(1)
- Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II
(1)
- Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I
(1)
