Folgen
Claude Kirchner
Claude Kirchner
Inria
Bestätigte E-Mail-Adresse bei inria.fr
Titel
Zitiert von
Zitiert von
Jahr
Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface
M Abe, K Aoki, G Ateniese, R Avanzi, Z Beerliová, O Billet, A Biryukov, ...
Lecture Notes in Computer Science (including subseries Lecture Notes in …, 2006
412*2006
Theorem proving modulo
G Dowek, T Hardin, C Kirchner
Journal of Automated Reasoning 31, 33-72, 2003
3392003
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
262*1995
Deduction with symbolic constraints
C Kirchner, H Kirchner, M Rusinowitch
INRIA, 1990
2281990
An introduction to OBJ 3
J Goguen, C Kirchner, H Kirchner, A Mégrelis, J Meseguer, T Winkler
Conditional Term Rewriting Systems: 1st International Workshop Orsay, France …, 2005
2072005
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
1851996
ELAN from a rewriting logic point of view
P Borovanský, C Kirchner, H Kirchner, PE Moreau
Theoretical Computer Science 285 (2), 155-185, 2002
1762002
The rewriting calculus-Part II
H Cirstea, C Kirchner
Logic Journal of IGPL 9 (3), 377-410, 2001
1722001
8 Designing Constraint Logic Programming Languages
C Kirchner, H Kirchner, M Vittek
Principles and Practice of Constraint Programming: The Newport Papers, 133, 1995
1671995
Operational semantics of OBJ-3
C Kirchner, H Kirchner, J Meseguer
Automata, Languages and Programming: 15th International Colloquium Tampere …, 1988
1541988
Methodes et outils de conception systematique d'algorithes d'unification dans les theories equationnelles
C Kirchner
These d'etat, Universite de Nancy I, 1985
1511985
Incremental construction of unification algorithms in equational theories
JP Jouannaud, C Kirchner, H Kirchner
Automata, Languages and Programming: 10th Colloquium Barcelona, Spain, July …, 2005
1322005
NARROWER: a new algorithm for unification and its application to logic programming
P Rety, C Kirchner, H Kirchner, P Lescanne
Rewriting Techniques and Applications: Dijon, France, May 20–22, 1985, 141-157, 2005
1172005
Unification via Explicit Substitutions: The Case of Higher-Order Patterns.
G Dowek, T Hardin, C Kirchner, F Pfenning
JICSLP, 259-273, 1996
1161996
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
1122001
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
1052001
Pure patterns type systems
G Barthe, H Cirstea, C Kirchner, L Liquori
ACM SIGPLAN Notices 38 (1), 250-261, 2003
1032003
Rewriting, solving, proving
C Kirchner, H Kirchner
A preliminary version of a book available at www. loria. fr/~ ckirchne/rsp …, 1999
941999
Concurrent term rewriting as a model of computation
J Goguen, C Kirchner, J Meseguer
Graph Reduction: Proceedings of a Workshop Santa Fé, New Mexico, USA …, 1987
931987
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20