Pierre Lescanne

Citée par

	Toutes	Depuis 2018
Citations	3476	319
indice h	29	10
indice i10	69	10

160

120

198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202330 75 41 71 55 55 83 82 84 90 96 140 112 143 133 99 88 102 77 73 87 130 109 145 128 109 73 95 78 97 87 79 49 80 94 75 49 44 42 15

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
Hubert Comon-LundhComputer Science professor, ENS CachanAdresse e-mail validée de lsv.ens-cachan.fr
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
Luigi LiquoriDirecteur de Recherche INRIAAdresse e-mail validée de inria.fr
Claude KirchnerInriaAdresse 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, Univ. 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	322	1989
Termination of rewriting systems by polynomial interpretations and its implementation AB Cherifa, P Lescanne Science of computer Programming 9 (2), 137-159, 1987	230	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	201	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	149	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	116	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	113	1985
Recursive decomposition ordering JP Jouannaud, P Lescanne, F Reinig	109	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	104	1991
Termination by completion F Bellegarde, P Lescanne Applicable Algebra in Engineering, Communication and Computing 1, 79-96, 1990	76	1990
Intersection types for explicit substitutions S Lengrand, P Lescanne, D Dougherty, M Dezani-Ciancaglini, ... Information and Computation 189 (1), 17-42, 2004	70	2004
Counting and generating lambda terms K Grygiel, P Lescanne Journal of Functional Programming 23 (5), 594-628, 2013	69	2013
Tools for proving inductive equalities, relative completeness, and ω-completeness A Lazrek, P Lescanne, JJ Thiel Information and Computation 84 (1), 47-70, 1990	64	1990
On multiset orderings JP Jouannaud, P Lescanne Information Processing Letters 15 (2), 57-63, 1982	64	1982
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 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, 39-49, 1990	51	1990
The calculus of explicit substitutions lambda-upsilon P Lescanne, J Rouyer-Degli INRIA, 1994	50	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	45	2008

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