Pierre Lescanne

Cited by

	All	Since 2017
Citations	3365	374
h-index	29	11
i10-index	70	12

160

120

198319841985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202212 19 65 44 79 53 50 84 69 80 93 100 128 104 139 130 93 83 94 75 70 86 112 108 150 124 118 74 96 76 101 86 82 53 73 101 76 53 52 19

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
Steffen van BakelImperial College LondonVerified email at doc.ic.ac.uk
Jean-Pierre JouannaudLSV, École Normale Supérieure de Paris-SaclayVerified email at lix.polytechnique.fr
Luigi LiquoriDirecteur de Recherche INRIAVerified email at inria.fr
Hubert Comon-LundhComputer Science professor, ENS CachanVerified email at lsv.ens-cachan.fr
Marek ZaioncTheoretical Computer Science, Faculty of Mathematics and Computer Science, Jagiellonian UniversityVerified email at tcs.uj.edu.pl
Kristoffer RoseComputer Scientist, Two Sigma LabsVerified email at twosigma.com
Claude KirchnerInriaVerified email at inria.fr
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
Franck DelaplaceIBISC Paris Saclay University, Univ. EvryVerified email at ibisc.univ-evry.fr
Matthieu Perrineldoctorant d'informatique, ENS LyonVerified email at ens-lyon.fr
Hiroakira OnoJapan Advanced Institute of Science and TechnologyVerified email at jaist.ac.jp
Peter D MossesSwansea University and Delft University of TechnologyVerified email at tudelft.nl

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	304	1989
Termination of rewriting systems by polynomial interpretations and its implementation AB Cherifa, P Lescanne Science of computer Programming 9 (2), 137-159, 1987	219	1987
From λσ to λν: a journey through calculi of explicit substitutions P Lescanne Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of …, 1994	201	1994
Computer experiments with the REVE term rewriting system generator P Lescanne Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of …, 1983	191	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	150	1996
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	110	1990
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	110	1985
Recursive decomposition ordering JP Jouannaud, P Lescanne, F Reinig	101	1982
Algebraic system specification and development: A survey and annotated bibliography M Bidoit, HJ Kreowski, P Lescanne, F Orejas, D Sannella Springer Berlin Heidelberg, 1991	100	1991
Termination by completion F Bellegarde, P Lescanne Applicable Algebra in Engineering, Communication and Computing 1 (2), 79-96, 1990	72	1990
Intersection types for explicit substitutions S Lengrand, P Lescanne, D Dougherty, M Dezani-Ciancaglini, ... Information and Computation 189 (1), 17-42, 2004	71	2004
Counting and generating lambda terms K Grygiel, P Lescanne Journal of Functional Programming 23 (5), 594-628, 2013	66	2013
The Language χ: Circuits, Computations and Classical Logic S Bakel, S Lengrand, P Lescanne Italian Conference on Theoretical Computer Science, 81-96, 2005	62	2005
On multiset orderings JP Jouannaud, P Lescanne Information processing letters 15 (2), 57-63, 1982	61	1982
Tools for proving inductive equalities, relative completeness, and ω-completeness A Lazrek, P Lescanne, JJ Thiel Information and Computation 84 (1), 47-70, 1990	60	1990
Polynomial interpretations and the complexity of algorithms A Cichon, P Lescanne International Conference on Automated Deduction, 139-147, 1992	59	1992
Explicit substitutions with de Bruijn's levels P Lescanne, J Rouyer-Degli International Conference on Rewriting Techniques and Applications, 294-308, 1995	58	1995
On the recursive decomposition ordering with lexicographical status and other related orderings P Lescanne Journal of Automated Reasoning 6 (1), 39-49, 1990	50	1990
The calculus of explicit substitutions lambda-upsilon P Lescanne, J Rouyer-Degli INRIA, 1994	47	1994
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	46	2008

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