Claude Kirchner

Citado por

	Total	Desde 2019
Citas	6894	768
Índice h	41	12
Índice i10	114	15

380

190

285

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202444 48 92 112 113 108 93 140 102 137 98 160 123 223 164 201 257 217 260 245 274 280 373 323 280 248 160 173 165 172 129 116 105 107 101 146 136 131 152 102

Acceso público

Ver todo

1 artículo

0 artículos

disponibles

no disponibles

Basado en requisitos de financiación

Coautores

Pierre-Etienne MoreauProfessor Mines Nancy - Université de LorraineDirección de correo verificada de loria.fr
Jean-Pierre JouannaudLSV, École Normale Supérieure de Paris-SaclayDirección de correo verificada de lix.polytechnique.fr
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignDirección de correo verificada de illinois.edu
Hélène KirchnerInriaDirección de correo verificada de inria.fr
Luigi LiquoriDirecteur de Recherche INRIADirección de correo verificada de inria.fr
olivier bournezProfessor of Computer Science, Ecole Polytechnique, FranceDirección de correo verificada de lix.polytechnique.fr
Pierre LescanneProfesseur émérite à l'ENS de LyonDirección de correo verificada de ens-lyon.fr
Michael RusinowitchINRIADirección de correo verificada de loria.fr
Martin WirsingProfessor of Computer Science, LMU MunichDirección de correo verificada de lmu.de
John C MitchellProfessor of Computer Science, Stanford UniversityDirección de correo verificada de Stanford.edu
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityDirección de correo verificada de cs.cmu.edu
Hubert Comon-LundhComputer Science professor, ENS CachanDirección de correo verificada de lsv.ens-cachan.fr
Paul BraunerGoogleDirección de correo verificada de google.com
Jurgen VinjuResearch group leader at Centrum Wiskunde & Informatica and professor at TU EindhovenDirección de correo verificada de vinju.org
Carole GobleProfessor of Computer Science, University of ManchesterDirección de correo verificada de manchester.ac.uk
Paolo BaldanProfessor of Computer Science, University of PadovaDirección de correo verificada de math.unipd.it
François FagesResearch Director, Inria, Saclay - Ile de FranceDirección de correo verificada de inria.fr
Laurent RomaryInriaDirección de correo verificada de inria.fr
Cecilia AragonProfessor, University of WashingtonDirección de correo verificada de uw.edu
Kathryn HuffAssociate Professor, University of Illinois at Urbana-ChampaignDirección de correo verificada de illinois.edu

Seguir

Claude Kirchner

Inria

Dirección de correo verificada de inria.fr


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
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	507	1987
Theorem proving modulo G Dowek, T Hardin, C Kirchner Journal of Automated Reasoning 31, 33-72, 2003	364	2003
An overview of ELAN P Borovanský, C Kirchner, H Kirchner, PE Moreau, C Ringeissen Electronic Notes in Theoretical Computer Science 15, 55-70, 1998	334	1998
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	266*	2006
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	227	1990
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	191	1996
ELAN from a rewriting logic point of view P Borovanský, C Kirchner, H Kirchner, PE Moreau Theoretical Computer Science 285 (2), 155-185, 2002	176	2002
The rewriting calculus-Part II H Cirstea, C Kirchner Logic Journal of IGPL 9 (3), 377-410, 2001	169	2001
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	164	1995
Methodes et outils de conception systematique d'algorithes d'unification dans les theories equationnelles C Kirchner These d'etat, Universite de Nancy I, 1985	153	1985
Operational semantics of OBJ-3 C Kirchner, H Kirchner, J Meseguer International Colloquium on Automata, Languages, and Programming, 287-301, 1988	152	1988
Incremental construction of unification algorithms in equational theories JP Jouannaud, C Kirchner, H Kirchner International Colloquium on Automata, Languages, and Programming, 361-373, 1983	142	1983
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	126	2001
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	119	2001
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	119	1985
Unification via Explicit Substitutions: The Case of Higher-Order Patterns. G Dowek, T Hardin, C Kirchner, F Pfenning JICSLP, 259-273, 1996	115	1996
Pure patterns type systems G Barthe, H Cirstea, C Kirchner, L Liquori ACM SIGPLAN Notices 38 (1), 250-261, 2003	106	2003
Computing unification algorithms C Kirchner LICS, 206-216, 1986	96	1986
Concurrent term rewriting as a model of computation J Goguen, C Kirchner, J Meseguer Workshop on Graph Reduction, 53-93, 1986	94	1986

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Seguir

Citado por

Coautores