( en | de | ru )

 

Disambiguation of "Lescanne, Pierre"

Author of the publication

copydeleteadd this publication to your clipboard
Manipulation d'arbres syntaxiques et contruction de programmes.

, and . CLAAP, page 208-224. Université de Lille 1, (1980)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Pierre Venet

Pierre Nyabyenda

Pierre Gottschlich

Pierre Mattern

Pierre Mangold

 

Other publications of authors with the same name

Counting Environments and Closures., and . FSCD, volume 108 of LIPIcs, page 11:1-11:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution., , and . PLILP, volume 1140 of Lecture Notes in Computer Science, page 393-407. Springer, (1996)On Strong Normalization of Explicit Substitution Calculi (Short Note)., and . J. Funct. Log. Program., (2000)Manipulation d'arbres syntaxiques et contruction de programmes., and . CLAAP, page 208-224. Université de Lille 1, (1980)Mechanizing common knowledge logic using COQ.. Ann. Math. Artif. Intell., 48 (1-2): 15-43 (2006)Uniform Termination of Term Rewriting Systems: Recursive Decomposition Ordering with Status.. CAAP, page 181-194. Cambridge University Press, (1984)Manipulation d'arbres syntaxiques et contruction de programmes (Résumé)., and . CLAAP, page 180-181. Université de Lille 1, (1980)Rewrite Orderings and Termination of Rewrite Systems.. MFCS, volume 520 of Lecture Notes in Computer Science, page 17-27. Springer, (1991)Combinatorics of $$łambda$$-terms: a natural approach., , , and . J. Log. Comput., 27 (8): 2611-2630 (2017)Bubbles are rational. CoRR, (2013)