Claude Kirchner
Claude Kirchner
Verified email at inria.fr
Title
Cited by
Cited by
Year
Solving equations in abstract algebras: A rule-based survey of unification
JP Jouannaud, C Kirchner
Computational Logic, 257-321, 1991
4441991
Theorem proving modulo
G Dowek, T Hardin, C Kirchner
Journal of Automated Reasoning 31 (1), 33-72, 2003
3222003
An overview of ELAN
P Borovanský, C Kirchner, H Kirchner, PE Moreau, C Ringeissen
Electronic Notes in Theoretical Computer Science 15, 55-70, 1998
3101998
Higher-order unification via explicit substitutions
G Dowek, T Hardin, C Kirchner
Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science, 366-374, 1995
245*1995
Deduction with symbolic constraints
C Kirchner, H Kirchner, M Rusinowitch
INRIA, 1990
2251990
An introduction to OBJ 3
J Goguen, C Kirchner, H Kirchner, A Mégrelis, J Meseguer, T Winkler
International Workshop on Conditional Term Rewriting Systems, 258-263, 1987
1981987
ELAN: A logical framework based on computational systems
P Borovanský, C Kirchner, H Kirchner, PE Moreau, M Vittek
Electronic Notes in Theoretical Computer Science 4, 35-50, 1996
1721996
ELAN from a rewriting logic point of view
P Borovanský, C Kirchner, H Kirchner, PE Moreau
Theoretical Computer Science 285 (2), 155-185, 2002
1692002
The rewriting calculus-Part II
H Cirstea, C Kirchner
Logic Journal of IGPL 9 (3), 377-410, 2001
1632001
Designing constraint logic programming languages using computational systems
C Kirchner, H Kirchner, M Vittek
Principles and Practice of Constraint Programming. The Newport Papers, 131-158, 1995
1611995
Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface
D Ünay, Z Çataltepe, S Aksoy
Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2010
155*2010
Operational semantics of OBJ-3
C Kirchner, H Kirchner, J Meseguer
International Colloquium on Automata, Languages, and Programming, 287-301, 1988
1501988
Methodes et outils de conception systematique d'algorithes d'unification dans les theories equationnelles
C Kirchner
These d'etat, Universite de Nancy I, 1985
1431985
Incremental construction of unification algorithms in equational theories
JP Jouannaud, C Kirchner, H Kirchner
International Colloquium on Automata, Languages, and Programming, 361-373, 1983
1271983
REWRITING WITH STRATEGIES IN: A FUNCTIONAL SEMANTICS
P Borovanský, C Kirchner, H Kirchner, C Ringeissen
International Journal of Foundations of Computer Science 12 (01), 69-95, 2001
1112001
Unification via Explicit Substitutions: The Case of Higher-Order Patterns.
G Dowek, T Hardin, C Kirchner, F Pfenning
JICSLP, 259-273, 1996
1111996
NARROWER: a new algorithm for unification and its application to logic programming
P Rety, C Kirchner, H Kirchner, P Lescanne
International Conference on Rewriting Techniques and Applications, 141-157, 1985
1071985
Pure patterns type systems
G Barthe, H Cirstea, C Kirchner, L Liquori
ACM SIGPLAN Notices 38 (1), 250-261, 2003
982003
Rewriting solving proving
C Kirchner, H Kirchner
891996
Computing unification algorithms
C Kirchner
LICS, 206-216, 1986
891986
The system can't perform the operation now. Try again later.
Articles 1–20