Claude Kirchner
Author
Alternate names H l ne Kirchner, Hdl ne Kirchner, Claude Kirchner, H. Kirchner, Helene Kirchner +5 more
Past institutions Institut national de recherche en informatique et en automatique, California Native Plant Society, Centre de Recherche en Informatique, Centre de Recherche Inria Bordeaux - Sud-Ouest, Centre National de la Recherche Scientifique +5 more
ORCID: Yes
H-index: 34
I10-index: 127
Works count: 405
Citations count: 5,598
An Overview of ELAN
1998 · Peter Borovanský, Claude Kirchner, et al. · Electronic Notes in Theoretical Computer Science
Completion of a Set of Rules Modulo a Set of Equations
1986 · Jean-Pierre Jouannaud, Claude Kirchner · SIAM Journal on Computing
Solving Equations in Abstract Algebras: A Rule-Based Survey of Unification.
1991 · Jean-Pierre Jouannaud, Claude Kirchner