Seguir
Claude Kirchner
Claude Kirchner
Dirección de correo verificada de inria.fr
Título
Citado por
Citado por
Año
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
A Roychoudhury, M D'Souza
372*2012
Theorem proving modulo
G Dowek, T Hardin, C Kirchner
Journal of Automated Reasoning 31, 33-72, 2003
3542003
An overview of ELAN
P Borovanský, C Kirchner, H Kirchner, PE Moreau, C Ringeissen
Electronic Notes in Theoretical Computer Science 15, 55-70, 1998
3311998
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
264*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
2121987
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
1871996
ELAN from a rewriting logic point of view
P Borovanský, C Kirchner, H Kirchner, PE Moreau
Theoretical Computer Science 285 (2), 155-185, 2002
1752002
The rewriting calculus-Part II
H Cirstea, C Kirchner
Logic Journal of IGPL 9 (3), 377-410, 2001
1672001
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
1621995
Methodes et outils de conception systematique d'algorithes d'unification dans les theories equationnelles
C Kirchner
These d'etat, Universite de Nancy I, 1985
1541985
Operational semantics of OBJ-3
C Kirchner, H Kirchner, J Meseguer
International Colloquium on Automata, Languages, and Programming, 287-301, 1988
1521988
Incremental construction of unification algorithms in equational theories
JP Jouannaud, C Kirchner, H Kirchner
International Colloquium on Automata, Languages, and Programming, 361-373, 1983
1341983
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
1202001
HOL-λσ: an intentional first-order expression of higher-order logic
G Dowek, T Hardin, C Kirchner
Mathematical Structures in Computer Science 11 (1), 21-45, 2001
1162001
Unification via Explicit Substitutions: The Case of Higher-Order Patterns.
G Dowek, T Hardin, C Kirchner, F Pfenning
JICSLP, 259-273, 1996
1141996
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
1141985
Pure patterns type systems
G Barthe, H Cirstea, C Kirchner, L Liquori
ACM SIGPLAN Notices 38 (1), 250-261, 2003
1052003
Computing unification algorithms
C Kirchner
LICS, 206-216, 1986
1001986
Concurrent term rewriting as a model of computation
J Goguen, C Kirchner, J Meseguer
Workshop on Graph Reduction, 53-93, 1986
941986
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20