Claude Kirchner

צוטט על ידי

	הכל	מאז 2020
ציטוטים ביבליוגרפיים	6833	606
H-index	42	12
i10-index	113	12

380

190

285

198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202552 90 114 108 109 98 142 103 133 98 154 127 230 167 205 253 219 259 242 262 281 370 333 284 253 160 172 161 175 122 116 101 101 97 145 107 118 132 91 13

גישה ציבורית

הצג הכל

מאמר אחד

0 מאמרים

זמין

לא זמין

על סמך ייפוי כח מהמממנים

מחברים משותפים

Pierre-Etienne MoreauProfessor Mines Nancy - Université de Lorraineכתובת אימייל מאומתת בדומיין loria.fr
Jean-Pierre JouannaudLSV, École Normale Supérieure de Paris-Saclayכתובת אימייל מאומתת בדומיין lix.polytechnique.fr
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-Champaignכתובת אימייל מאומתת בדומיין illinois.edu
Hélène KirchnerInriaכתובת אימייל מאומתת בדומיין inria.fr
Luigi LiquoriDirecteur de Recherche INRIAכתובת אימייל מאומתת בדומיין inria.fr
olivier bournezProfessor of Computer Science, Ecole Polytechnique, Franceכתובת אימייל מאומתת בדומיין lix.polytechnique.fr
Pierre LescanneProfesseur émérite à l'ENS de Lyonכתובת אימייל מאומתת בדומיין ens-lyon.fr
Hubert Comon-LundhComputer Science professor, ENS Cachanכתובת אימייל מאומתת בדומיין lsv.ens-cachan.fr
Martin WirsingProfessor of Computer Science, LMU Munichכתובת אימייל מאומתת בדומיין lmu.de
John C MitchellProfessor of Computer Science, Stanford Universityכתובת אימייל מאומתת בדומיין Stanford.edu
Frank PfenningProfessor of Computer Science, Carnegie Mellon Universityכתובת אימייל מאומתת בדומיין cs.cmu.edu
Michael RusinowitchINRIAכתובת אימייל מאומתת בדומיין loria.fr
Paul BraunerGoogleכתובת אימייל מאומתת בדומיין google.com
Paolo BaldanProfessor of Computer Science, University of Padovaכתובת אימייל מאומתת בדומיין math.unipd.it
François FagesResearch Director, Inria, Saclay - Ile de Franceכתובת אימייל מאומתת בדומיין inria.fr
Włodzimierz DrabentIPI PAN (Institute of Computer Science, Polish Academy of Sciences)כתובת אימייל מאומתת בדומיין ipipan.waw.pl
Jurgen VinjuResearch group leader at Centrum Wiskunde & Informatica and professor at TU Eindhovenכתובת אימייל מאומתת בדומיין vinju.org
Carole GobleProfessor of Computer Science, University of Manchesterכתובת אימייל מאומתת בדומיין manchester.ac.uk
Laurent RomaryInriaכתובת אימייל מאומתת בדומיין inria.fr
Ke WangHarbin Institute of Technology, Shenzhen Graduate Schoolכתובת אימייל מאומתת בדומיין hitsz.edu.cn

עקוב אחר

Claude Kirchner

Inria

כתובת אימייל מאומתת בדומיין inria.fr


כותרת מיון לפי ציטוט ביבליוגרפי מיון לפי שנה מיון לפי כותרת	צוטט על ידי צוטט על ידי	שנה
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‏	508	1987
Theorem proving modulo‏ G Dowek, T Hardin, C Kirchner‏ Journal of Automated Reasoning 31, 33-72, 2003‏	368	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
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‏	263*	1995
Deduction with symbolic constraints‏ C Kirchner, H Kirchner, M Rusinowitch‏ INRIA, 1990‏	231	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‏	190	1996
Lecture notes in computer science (including subseries lecture notes in artificial intelligence and lecture notes in bioinformatics): Preface‏ M Okada, I Satoh‏ Lecture notes in computer science (including subseries lecture notes in …, 2007‏	178*	2007
ELAN from a rewriting logic point of view‏ P Borovanský, C Kirchner, H Kirchner, PE Moreau‏ Theoretical Computer Science 285 (2), 155-185, 2002‏	177	2002
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‏	165	1995
The rewriting calculus-Part II‏ H Cirstea, C Kirchner‏ Logic Journal of IGPL 9 (3), 377-410, 2001‏	161	2001
Operational semantics of OBJ-3‏ C Kirchner, H Kirchner, J Meseguer‏ International Colloquium on Automata, Languages, and Programming, 287-301, 1988‏	155	1988
Methodes et outils de conception systematique d'algorithes d'unification dans les theories equationnelles‏ C Kirchner‏ These d'etat, Universite de Nancy I, 1985‏	152	1985
Incremental construction of unification algorithms in equational theories‏ JP Jouannaud, C Kirchner, H Kirchner‏ International Colloquium on Automata, Languages, and Programming, 361-373, 1983‏	144	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‏	127	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‏	121	1985
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‏	120	2001
Unification via Explicit Substitutions: The Case of Higher-Order Patterns.‏ G Dowek, T Hardin, C Kirchner, F Pfenning‏ JICSLP, 259-273, 1996‏	116	1996
Pure patterns type systems‏ G Barthe, H Cirstea, C Kirchner, L Liquori‏ ACM SIGPLAN Notices 38 (1), 250-261, 2003‏	108	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

המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.

מאמרים 1–20

ציטוטים ביבליוגרפיים בשנה

ציטוטים ביביליוגרפיים כפולים

ציטוטים ביביליוגרפיים שמוזגו

הוסף מחברים שותפיםמחברים משותפים

עקוב אחר

צוטט על ידי

מחברים משותפים