Claude Kirchner

Best Publications

• Solving Equations in Abstract Algebras: A Rule-Based Survey of Unification.

  Jean-Pierre Jouannaud;Claude Kirchner

  459
  Citations

• An Overview of ELAN

  Unknown

  425
  Citations

• Completion of a Set of Rules Modulo a Set of Equations

  Unknown

  372
  Citations

• Theorem Proving Modulo

  Unknown

  340
  Citations

• CASL: the common algebraic specification language

  Egidio Astesiano;Michel Bidoit;Hélène Kirchner;Bernd Krieg-Brückner

  317
  Citations

• Deduction with symbolic constraints

  Unknown

  234
  Citations

• An introduction to OBJ 3

  J. Goguen;C. Kirchner;J. Meseguer;H. Kirchner

  211
  Citations

• ELAN: A logical framework based on computational systems

  Unknown

  181
  Citations

• Higher order unification via explicit substitutions

  Unknown

  181
  Citations

• ELAN from a rewriting logic point of view

  Unknown

  175
  Citations

• Operational semantics of OBJ-3

  Claude Kirchner;Hélène Kirchner;José Meseguer

  155
  Citations

• REWRITING WITH STRATEGIES IN ELAN: A FUNCTIONAL SEMANTICS

  Unknown

  147
  Citations

• Incremental Construction of Unification Algorithms in Equational Theories

  Unknown

  145
  Citations

• NARROWER: a new algorithm for unification and its application to logic programming

  Unknown

  119
  Citations

• Faces in the cloud: Fourier power spectrum biases ultrarapid face detection.

  Christian Honey;Holle Kirchner;Holle Kirchner;Rufin VanRullen;Rufin VanRullen

  117
  Citations

• Unification via Explicit Substitutions: The Case of Higher-Order Patterns.

  Gilles Dowek;Thérèse Hardin;Claude Kirchner;Frank Pfenning

  115
  Citations

• HOL-λσ: an intentional first-order expression of higher-order logic

  Unknown

  105
  Citations

• Pure patterns type systems

  Gilles Barthe;Horatiu Cirstea;Claude Kirchner;Luigi Liquori

  101
  Citations

• Computing Unification Algorithms

  Unknown

  92
  Citations

• The Rho Cube

  Unknown

  86
  Citations