Pierre Lescanne

Cited by

	All	Since 2019
Citations	3540	289
h-index	30	10
i10-index	69	11

160

120

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202473 45 73 52 58 88 80 83 86 93 141 106 147 128 103 89 104 78 71 91 130 111 147 130 104 73 98 74 99 86 84 49 72 95 77 54 45 41 35 36

Co-authors

Silvia GhilezanUniversity of Novi SadVerified email at uns.ac.rs
Silvia LikavecPost doc at Universita di Torino, ItalyVerified email at di.unito.it
Daniel J DoughertyWorcester Polytechnic InstituteVerified email at wpi.edu
Jean-Pierre JouannaudLSV, École Normale Supérieure de Paris-SaclayVerified email at lix.polytechnique.fr
Stéphane Graham-LengrandSRI InternationalVerified email at csl.sri.com
Steffen van BakelImperial College LondonVerified email at doc.ic.ac.uk
Hubert Comon-LundhComputer Science professor, ENS CachanVerified email at lsv.ens-cachan.fr
Luigi LiquoriDirecteur de Recherche INRIAVerified email at inria.fr
Claude KirchnerInriaVerified email at inria.fr
Kristoffer RoseComputer Scientist, Two Sigma LabsVerified email at twosigma.com
Marek ZaioncTheoretical Computer Science, Faculty of Mathematics and Computer Science, Jagiellonian UniversityVerified email at tcs.uj.edu.pl
Donald SannellaProfessor of Computer Science, University of EdinburghVerified email at inf.ed.ac.uk
Michel BidoitLSV, CNRS & ENS Cachan, FranceVerified email at lsv.ens-cachan.fr
Fernando OrejasUniversitat Politècnica de CatalunyaVerified email at lsi.upc.edu
Jieh HsiangNational Taiwan UniversityVerified email at ntu.edu.tw
Michael RusinowitchINRIAVerified email at loria.fr
Mariangiola Dezani-CiancagliniEmeritus Professor of Computer Science, Torino UniversityVerified email at di.unito.it
Matthieu Perrineldoctorant d'informatique, ENS LyonVerified email at ens-lyon.fr
Franck DelaplaceIBISC - Paris Saclay University, EvryVerified email at ibisc.univ-evry.fr
Hiroakira OnoJapan Advanced Institute of Science and TechnologyVerified email at jaist.ac.jp

Pierre Lescanne

Professeur émérite à l'ENS de Lyon

Verified email at ens-lyon.fr - Homepage

informatique


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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	119	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	117	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	68	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
The Language χ: Circuits, Computations and Classical Logic: S Van Bakel, S Lengrand, P Lescanne Theoretical Computer Science: 9th Italian Conference, ICTCS 2005, Siena …, 2005	62	2005
Polynomial interpretations and the complexity of algorithms A Cichon, P Lescanne Automated Deduction—CADE-11: 11th International Conference on Automated …, 1992	62	1992
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	50	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

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors