Concepedia

Pierre Lescanne

PL

26

Publications

1.3K

Citations

19

H-Index

1982

Active since

Affiliations

Centre National de la Recherche Scientifique(Current)

Centre de Recherche en Informatique

Institut national de recherche en sciences et technologies du numérique

École Normale Supérieure de Lyon

Laboratoire de l'Informatique du Parallélisme

Pierre Lescanne is an author at Centre National de la Recherche Scientifique specializing in formal methods, automated reasoning, and engineering.

Top concepts

EngineeringAutomated ReasoningFormal MethodsComputer ScienceFormal VerificationLanguageLinguisticsSyntaxSemanticsVerification

Publications per year

1982–2012

26

Publications

26

Equational problems anddisunification

Hubert Comon, Pierre Lescanne · Journal of Symbolic Computation · 1989 · 194 citations

Monge-ampere Equation, Equational Problems Anddisunification, Nonlinear Equation +1

Termination of rewriting systems by polynomial interpretations and its implementation

Ahlem Ben Cherifa, Pierre Lescanne · Science of Computer Programming · 1987 · 153 citations

Polynomial Interpretations, Formal Specification, Engineering +10

Computer experiments with the <i>REVE</i> term rewriting system generator

Pierre Lescanne · 1983 · 126 citations

Engineering, Verification, Software Engineering +17

λν, a calculus of explicit substitutions which preserves strong normalisation

Zine-el-Abidine Benaissa, Daniel Briaud, Pierre Lescanne et al. · Journal of Functional Programming · 1996 · 95 citations · Full text

Engineering, Generalized Function, Automated Reasoning +10

From λσ to λυ

Pierre Lescanne · 1994 · 92 citations · Full text

Symbolic Manipulation, Automated Reasoning, Computer Algebra +7

Rows per page

1–5 of 26