Pierre Lescanne

发表

Pierre Lescanne, P. Lescanne, 2006, Annals of Mathematics and Artificial Intelligence.
Pierre Lescanne, Jocelyne Rouyer-Degli, P. Lescanne, 1995, RTA.
Pierre Lescanne, Maciej Bendkowski, P. Lescanne, 2018, Log. Methods Comput. Sci..
Jacques Guyard, Pierre Lescanne, 1980, CLAAP.
Pierre Lescanne, P. Lescanne, 2014, ArXiv.
Frédéric Lang, Pierre Lescanne, 2000, J. Funct. Log. Program..
Pierre Lescanne, Maciej Bendkowski, Katarzyna Grygiel, 2017, J. Log. Comput..
Daniel J. Dougherty, Pierre Lescanne, 2003, Math. Struct. Comput. Sci..
Pierre Lescanne, 2018, ACM Trans. Comput. Log..
Claude Kirchner, Pierre Lescanne, 1987, LICS.
Pierre Lescanne, Christophe Genolini, 2002 .
Pierre Lescanne, Dragisa Zunic, 2017, ICTCS/CILC.
Pierre Lescanne, P. Lescanne, 1990, Journal of Automated Reasoning.
Jean-Marc Steyaert, Pierre Lescanne, J. Steyaert, 1983, ICALP.
Pierre Lescanne, Kristoffer Høgsbro Rose, Zine-El-Abidine Benaissa, 1996, PLILP.
Pierre Lescanne, P. Lescanne, 1989, TAPSOFT, Vol.1.
Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne, 2008, Theor. Comput. Sci..
Pierre Lescanne, Wolfgang Wechler, Jan Grabowski, 1988, Lecture Notes in Computer Science.
Pierre Lescanne, 2011, ArXiv.
Pierre Lescanne, P. Lescanne, 1992, Formal Aspects of Computing.
Pierre Lescanne, P. Lescanne, 1992, J. Symb. Comput..
Luigi Liquori, Daniel J. Dougherty, Frédéric Lang, 2005, TERMGRAPH.
Pierre Lescanne, 2015, ArXiv.
Silvia Likavec, Silvia Ghilezan, Jelena Ivetic, 2011, ICTAC.
Pierre Lescanne, 1982, RAIRO Theor. Informatics Appl..
Pierre Lescanne, P. Lescanne, 1983, POPL '83.
Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne, 2005, Electron. Notes Theor. Comput. Sci..
Stéphane Le Roux, Pierre Lescanne, René Vestergaard, 2008, ArXiv.
Peter D. Mosses, Gregory Kucherov, Pierre Lescanne, 1996, Theor. Comput. Sci..
Pierre Lescanne, 1996, APPIA-GULP-PRODE.
Françoise Bellegarde, Pierre Lescanne, P. Lescanne, 1987, TAPSOFT, Vol.1.
Pierre Lescanne, Maciej Bendkowski, Katarzyna Grygiel, 2016, ArXiv.
Pierre Lescanne, 1987, Lecture Notes in Computer Science.
Pierre Lescanne, Boutheina Chetali, P. Lescanne, 1992, Larch.
Steffen van Bakel, Pierre Lescanne, 2008, Math. Struct. Comput. Sci..
Pierre Lescanne, Matthieu Perrinel, P. Lescanne, 2009, ArXiv.
Sophie Tison, Max Dauchet, Pierre Lescanne, 1985, LICS.
Silvia Likavec, Silvia Ghilezan, Jelena Ivetic, 2011, ArXiv.
Daniel J. Dougherty, Stéphane Lengrand, Pierre Lescanne, 2002, IFIP TCS.
Pierre Lescanne, P. Lescanne, 2011, ArXiv.
Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne, 2009, TbiLLC.
Pierre Lescanne, 2013, Tech. Sci. Informatiques.
Daniel J. Dougherty, Pierre Lescanne, P. Lescanne, 2001, Mathematical Structures in Computer Science.
Pierre Lescanne, Wolfgang Wechler, 1992, J. Log. Program..
Pierre Lescanne, P. Lescanne, 2016, J. Formaliz. Reason..
Pierre Lescanne, P. Lescanne, 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.
Silvia Ghilezan, Pierre Lescanne, Dragisa Zunic, 2012, ArXiv.
Pierre Lescanne, Jérôme Puisségur, P. Lescanne, 2007, ArXiv.
Jean-Pierre Jouannaud, Pierre Lescanne, J. Jouannaud, 1982, Inf. Process. Lett..
Steffen van Bakel, Stéphane Lengrand, Pierre Lescanne, 2005, ICTCS.
Luigi Liquori, Frédéric Lang, Pierre Lescanne, 1999, World Congress on Formal Methods.
Daniel J. Dougherty, Silvia Ghilezan, Pierre Lescanne, 2004, PPDP '04.
Pierre Lescanne, P. Lescanne, 2015, ArXiv.
Jean-Pierre Jouannaud, Pierre Lescanne, F. Reinig, 1982, Formal Description of Programming Concepts.
Pierre Lescanne, Katarzyna Grygiel, Katarzyna Grygiel, 2012, Journal of Functional Programming.
Pierre Lescanne, P. Lescanne, 1984, CADE.
Pierre Lescanne, P. Lescanne, 1995, COMPASS/ADT.
Pierre Lescanne, P. Lescanne, 2007, Programming Logics.
Pierre Lescanne, 1989, Bull. EATCS.
Daniel J. Dougherty, Mariangiola Dezani-Ciancaglini, Steffen van Bakel, 2004, Inf. Comput..
Silvia Ghilezan, Pierre Lescanne, S. Ghilezan, 2003, TYPES.
Daniel J. Dougherty, Silvia Likavec, Silvia Ghilezan, 2005, LPAR.
Pierre Lescanne, P. Lescanne, 2011, Theor. Comput. Sci..
Pierre Lescanne, Katarzyna Grygiel, 2015, J. Funct. Program..
Pierre Lescanne, 1986, CADE.
Pierre Lescanne, P. Lescanne, 2013, CALCO.
Pierre Lescanne, Pierre Lescanne, 1976, RAIRO Theor. Informatics Appl..
Pierre Lescanne, P. Lescanne, 1991, MFCS.
Pierre Lescanne, Jocelyne Rouyer-Degli, Zine-El-Abidine Benaissa, 1996, Journal of Functional Programming.
Pierre Lescanne, Adam Cichon, 1992, CADE.
Pierre Lescanne, Azzedine Lazrek, Jean-Jacques Thiel, 1986 .
Pierre Lescanne, Ahlem Ben Cherifa, P. Lescanne, 1987, Sci. Comput. Program..
Pierre Lescanne, Maciej Bendkowski, P. Lescanne, 2018, PPDP.
Pierre Lescanne, P. Lescanne, 2007 .
Pierre Lescanne, P. Lescanne, 2013, ArXiv.
Pierre Lescanne, Matthieu Perrinel, 2012, Acta Informatica.
Pierre Lescanne, Maciej Bendkowski, Katarzyna Grygiel, 2016, SOFSEM.
Silvia Likavec, Silvia Ghilezan, Jelena Ivetic, 2014, ArXiv.
Pierre Lescanne, Katarzyna Grygiel, 2014, ArXiv.
Hubert Comon-Lundh, Pierre Lescanne, 1989, J. Symb. Comput..
René David, Pierre Lescanne, Marek Zaionc, 2005, Electron. Notes Theor. Comput. Sci..
Franck Delaplace, Pierre Lescanne, Chafika Chettaoui, 2006, CMSB.
Pierre Lescanne, P. Lescanne, 1988, Trends in Computer Algebra.
Hans-Jörg Kreowski, Fernando Orejas, Michel Bidoit, 1991 .
Jürgen Giesl, Pierre Lescanne, 2001, Applicable Algebra in Engineering, Communication and Computing.
Pierre Lescanne, P. Lescanne, 1994, Theor. Comput. Sci..
Hans-Jörg Kreowski, Fernando Orejas, Donald Sannella, 1991, Lecture Notes in Computer Science.
Pierre Lescanne, Wolfgang Wechler, Jan Grabowski, 1988 .
Hélène Kirchner, Michaël Rusinowitch, Pierre Lescanne, 1992, J. Log. Program..
Claude Kirchner, Hélène Kirchner, Pierre Réty, 1985, RTA.
Pierre Lescanne, Zine-El-Abidine Benaissa, Kristoffer H. Rose, 1996 .
Isabelle Gnaedig, Pierre Lescanne, Isabelle Gnaedig, 1986, CADE.
Pierre Lescanne, Hélène Kirchner, 1991, SIGA.
Pierre Lescanne, 2013, ArXiv.
Luigi Liquori, Daniel J. Dougherty, Pierre Lescanne, 2006, Mathematical Structures in Computer Science.
Pierre Lescanne, 1987, STACS.
Pierre Lescanne, P. Lescanne, 2008, ArXiv.
Samson Abramsky, Alexander Kurz, Pierre Lescanne, 2015, Dagstuhl Reports.
Françoise Bellegarde, Pierre Lescanne, P. Lescanne, 1990, Applicable Algebra in Engineering, Communication and Computing.
Franck Delaplace, Pierre Lescanne, F. Delaplace, 2009 .
Pierre Lescanne, 2021, ArXiv.
Silvia Ghilezan, Simona Kasterovic, Pierre Lescanne, 2021, ArXiv.
Peter D. Mosses, Gregory Kucherov, Pierre Lescanne, 1996 .
Pierre Lescanne, Jocelyne Rouyer-Degli, 1994 .
Steffen van Bakel, Pierre Lescanne, Gate London, 2005 .
Luigi Liquori, Daniel J. Dougherty, Frédéric Lang, 2001 .
Pierre Lescanne, Hiroakira Ono, Rene Vestergaard, 2006 .
Pierre Lescanne, Jocelyne Rouyer-Degli, P. Lescanne, 1994 .