Claude Kirchner

Navedeno

	Vse	Od leta 2020
Navedbe	6833	606
indeks h	42	12
indeks i10	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

Javni dostop

Prikaži vse

1 članek

0 člankov

na voljo

ni na voljo

Na podlagi zahtev v povezavi s financiranjem

Soavtorji

Pierre-Etienne MoreauProfessor Mines Nancy - Université de LorrainePreverjeni e-poštni naslov na loria.fr
Jean-Pierre JouannaudLSV, École Normale Supérieure de Paris-SaclayPreverjeni e-poštni naslov na lix.polytechnique.fr
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignPreverjeni e-poštni naslov na illinois.edu
Hélène KirchnerInriaPreverjeni e-poštni naslov na inria.fr
Luigi LiquoriDirecteur de Recherche INRIAPreverjeni e-poštni naslov na inria.fr
olivier bournezProfessor of Computer Science, Ecole Polytechnique, FrancePreverjeni e-poštni naslov na lix.polytechnique.fr
Pierre LescanneProfesseur émérite à l'ENS de LyonPreverjeni e-poštni naslov na ens-lyon.fr
Hubert Comon-LundhComputer Science professor, ENS CachanPreverjeni e-poštni naslov na lsv.ens-cachan.fr
Martin WirsingProfessor of Computer Science, LMU MunichPreverjeni e-poštni naslov na lmu.de
John C MitchellProfessor of Computer Science, Stanford UniversityPreverjeni e-poštni naslov na Stanford.edu
Frank PfenningProfessor of Computer Science, Carnegie Mellon UniversityPreverjeni e-poštni naslov na cs.cmu.edu
Michael RusinowitchINRIAPreverjeni e-poštni naslov na loria.fr
Paul BraunerGooglePreverjeni e-poštni naslov na google.com
Paolo BaldanProfessor of Computer Science, University of PadovaPreverjeni e-poštni naslov na math.unipd.it
François FagesResearch Director, Inria, Saclay - Ile de FrancePreverjeni e-poštni naslov na inria.fr
Włodzimierz DrabentIPI PAN (Institute of Computer Science, Polish Academy of Sciences)Preverjeni e-poštni naslov na ipipan.waw.pl
Jurgen VinjuResearch group leader at Centrum Wiskunde & Informatica and professor at TU EindhovenPreverjeni e-poštni naslov na vinju.org
Carole GobleProfessor of Computer Science, University of ManchesterPreverjeni e-poštni naslov na manchester.ac.uk
Laurent RomaryInriaPreverjeni e-poštni naslov na inria.fr
Ke WangHarbin Institute of Technology, Shenzhen Graduate SchoolPreverjeni e-poštni naslov na hitsz.edu.cn

Spremljaj

Claude Kirchner

Inria

Preverjeni e-poštni naslov na inria.fr


Naslov Razvrsti po navedbah Razvrsti po letniku Razvrsti po naslovu	Navedeno Navedeno	Leto
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

Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.

Članki 1–20

Št. navedb na leto

Podvojene navedbe

Združene navedbe

Dodajanje soavtorjevSoavtorji

Spremljaj

Navedeno

Soavtorji