Modèles non déterministes de types abstraits Pierre Lescanne — 1982 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Some properties of decomposition ordering, a simplification ordering to prove termination of rewriting systems Pierre Lescanne — 1982 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Équivalence entre la famille des ensembles réguliers et la famille des ensembles algébriques Pierre Lescanne — 1976 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
On Semantics of a Term Calculus for Classical Logic Silvia Likavec; Pierre Lescanne — 2012 Publications de l'Institut Mathématique