Pierre Lescanne

Citée par

	Toutes	Depuis 2019
Citations	3532	283
indice h	30	10
indice i10	69	11

160

120

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202473 45 73 52 58 89 80 83 86 93 141 106 147 128 104 89 104 78 71 91 130 110 146 130 104 73 98 74 99 86 84 48 72 95 77 53 45 41 35 31

Coauteurs

Silvia GhilezanUniversity of Novi SadAdresse e-mail validée de uns.ac.rs
Silvia LikavecPost doc at Universita di Torino, ItalyAdresse e-mail validée de di.unito.it
Daniel J DoughertyWorcester Polytechnic InstituteAdresse e-mail validée de wpi.edu
Jean-Pierre JouannaudLSV, École Normale Supérieure de Paris-SaclayAdresse e-mail validée de lix.polytechnique.fr
Stéphane Graham-LengrandSRI InternationalAdresse e-mail validée de csl.sri.com
Steffen van BakelImperial College LondonAdresse e-mail validée de doc.ic.ac.uk
Hubert Comon-LundhComputer Science professor, ENS CachanAdresse e-mail validée de lsv.ens-cachan.fr
Claude KirchnerInriaAdresse e-mail validée de inria.fr
Luigi LiquoriDirecteur de Recherche INRIAAdresse e-mail validée de inria.fr
Kristoffer RoseComputer Scientist, Two Sigma LabsAdresse e-mail validée de twosigma.com
Marek ZaioncTheoretical Computer Science, Faculty of Mathematics and Computer Science, Jagiellonian UniversityAdresse e-mail validée de tcs.uj.edu.pl
Donald SannellaProfessor of Computer Science, University of EdinburghAdresse e-mail validée de inf.ed.ac.uk
Michel BidoitLSV, CNRS & ENS Cachan, FranceAdresse e-mail validée de lsv.ens-cachan.fr
Fernando OrejasUniversitat Politècnica de CatalunyaAdresse e-mail validée de lsi.upc.edu
Jieh HsiangNational Taiwan UniversityAdresse e-mail validée de ntu.edu.tw
Michael RusinowitchINRIAAdresse e-mail validée de loria.fr
Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityAdresse e-mail validée de di.unito.it
Franck DelaplaceIBISC - Paris Saclay University, EvryAdresse e-mail validée de ibisc.univ-evry.fr
Matthieu Perrineldoctorant d'informatique, ENS LyonAdresse e-mail validée de ens-lyon.fr
Hiroakira OnoJapan Advanced Institute of Science and TechnologyAdresse e-mail validée de jaist.ac.jp

Suivre

Pierre Lescanne

Professeur émérite à l'ENS de Lyon

Adresse e-mail validée de ens-lyon.fr - Page d'accueil

informatique


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
Equational problems anddisunification H Comon, P Lescanne Journal of Symbolic Computation 7 (3-4), 371-425, 1989	326	1989
Termination of rewriting systems by polynomial interpretations and its implementation AB Cherifa, P Lescanne Science of computer Programming 9 (2), 137-159, 1987	231	1987
From λσ to λν: a journey through calculi of explicit substitutions P Lescanne Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994	206	1994
Computer experiments with the REVE term rewriting system generator P Lescanne Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of …, 1983	195	1983
λν, a calculus of explicit substitutions which preserves strong normalisation D Briaud, P Lescanne, J Rouyer-Degli Journal of Functional Programming 6 (5), 699-722, 1996	159	1996
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	118	1985
Decidability of the confluence of finite ground term rewrite systems and of other related term rewrite systems M Dauchet, T Heuillard, P Lescanne, S Tison Information and Computation 88 (2), 187-201, 1990	116	1990
Algebraic system specification and development: A survey and annotated bibliography M Bidoit, HJ Kreowski, P Lescanne, F Orejas, D Sannella Springer Berlin Heidelberg, 1991	108	1991
Recursive decomposition ordering JP Jouannaud, P Lescanne, F Reinig	104	1982
Termination by completion F Bellegarde, P Lescanne Applicable Algebra in Engineering, Communication and Computing 1, 79-96, 1990	76	1990
Counting and generating lambda terms K Grygiel, P Lescanne Journal of Functional Programming 23 (5), 594-628, 2013	71	2013
Intersection types for explicit substitutions S Lengrand, P Lescanne, D Dougherty, M Dezani-Ciancaglini, ... Information and Computation 189 (1), 17-42, 2004	71	2004
On multiset orderings JP Jouannaud, P Lescanne Information processing letters 15 (2), 57-63, 1982	67	1982
Tools for proving inductive equalities, relative completeness, and ω-completeness A Lazrek, P Lescanne, JJ Thiel Information and Computation 84 (1), 47-70, 1990	66	1990
Polynomial interpretations and the complexity of algorithms A Cichon, P Lescanne Automated Deduction—CADE-11: 11th International Conference on Automated …, 1992	62	1992
The Language χ: Circuits, Computations and Classical Logic: S Van Bakel, S Lengrand, P Lescanne Theoretical Computer Science: 9th Italian Conference, ICTCS 2005, Siena …, 2005	61	2005
Explicit substitutions with de Bruijn's levels P Lescanne, J Rouyer-Degli Rewriting Techniques and Applications: 6th International Conference, RTA-95 …, 1995	59	1995
On the recursive decomposition ordering with lexicographical status and other related orderings P Lescanne Journal of Automated Reasoning 6, 39-49, 1990	49	1990
Characterizing strong normalization in the Curien–Herbelin symmetric lambda calculus: extending the Coppo–Dezani heritage DJ Dougherty, S Ghilezan, P Lescanne Theoretical Computer Science 398 (1-3), 114-128, 2008	48	2008
The calculus of explicit substitutions lambda-upsilon P Lescanne, J Rouyer-Degli INRIA, 1994	48	1994

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs