J. Jouannaud
发表
Jean-Pierre Jouannaud,
Joseph A. Goguen,
José Meseguer,
1985,
ICALP.
Claude Kirchner,
Hélène Kirchner,
Jean-Pierre Jouannaud,
1983,
ICALP.
Albert Rubio,
Jean-Pierre Jouannaud,
J. Jouannaud,
2007,
JACM.
J. Jouannaud,
F. Raamsdonk,
A. Rubio,
2004
.
Albert Rubio,
Jean-Pierre Jouannaud,
J. Jouannaud,
1998,
Theor. Comput. Sci..
J. Jouannaud,
M. Okada,
1997
.
Albert Rubio,
Jean-Pierre Jouannaud,
Frédéric Blanqui,
2008,
CSL.
J. Jouannaud,
2007
.
J. Jouannaud,
N. Dershowitz,
Jianqi Li,
2016
.
Jean-Pierre Jouannaud,
J. Jouannaud,
1993,
Term Rewriting.
J. Jouannaud,
Gaspard Férey,
2019
.
J. Jouannaud,
1994
.
J. Jouannaud,
1985
.
Jean-Pierre Jouannaud,
Pierre-Yves Strub,
César Muñoz,
2006
.
J. Jouannaud,
F. Orejas,
2021
.
José Meseguer,
Jean-Pierre Jouannaud,
Kokichi Futatsugi,
2006,
Bull. EATCS.
J. Thatcher,
H. Kirchner,
J. Meseguer,
1993
.
Jean-Pierre Jouannaud,
J. Jouannaud,
1994,
Lecture Notes in Computer Science.
H. Kirchner,
J. Jouannaud,
J. Rémy,
1983,
IJCAI.
Jean-Pierre Jouannaud,
Nachum Dershowitz,
J. Jouannaud,
1991,
Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.
Jean-Pierre Jouannaud,
Nachum Dershowitz,
J. Jouannaud,
2018,
LPAR.
Jean-Pierre Jouannaud,
Nachum Dershowitz,
Jan Willem Klop,
1993,
RTA.
Hélène Kirchner,
Jean-Pierre Jouannaud,
H. Kirchner,
1984,
RAIRO Theor. Informatics Appl..
Jean-Pierre Jouannaud,
J. Jouannaud,
1992,
COMPASS/ADT.
Jean-Pierre Jouannaud,
Claude Marché,
J. Jouannaud,
1990,
DISCO.
Jean-Pierre Jouannaud,
J. Jouannaud,
1983,
CAAP.
Jean-Pierre Jouannaud,
Yves Kodratoff,
J. Jouannaud,
1979,
IJCAI.
Jean-Pierre Jouannaud,
Yves Kodratoff,
J. Jouannaud,
1983
.
Claude Kirchner,
Jean-Pierre Jouannaud,
Mehmet Dincbas,
1999,
Constraints.
Hélène Kirchner,
Jean-Pierre Jouannaud,
Claude Kirchner,
1992,
J. Log. Program..
Claude Kirchner,
Hélène Kirchner,
Jean-Pierre Jouannaud,
1988,
ALP.
José Meseguer,
Jean-Pierre Jouannaud,
Joseph A. Goguen,
1985,
POPL.
Claude Kirchner,
Jean-Pierre Jouannaud,
C. Kirchner,
1991,
Computational Logic - Essays in Honor of Alan Robinson.
Jean-Pierre Jouannaud,
Emmanuel Kounalis,
J. Jouannaud,
1989,
Inf. Comput..
Hélène Kirchner,
Jean-Pierre Jouannaud,
H. Kirchner,
1984,
SIAM J. Comput..
Jean-Pierre Jouannaud,
Pierre Lescanne,
J. Jouannaud,
1982,
Inf. Process. Lett..
Jean-Pierre Jouannaud,
Pierre Lescanne,
F. Reinig,
1982,
Formal Description of Programming Concepts.
Jean Goubault-Larrecq,
Jean-Pierre Jouannaud,
J. Jouannaud,
2013,
Programming Logics.
José Meseguer,
Jean-Pierre Jouannaud,
Adel Bouhoula,
2000,
Theor. Comput. Sci..
Jean-Pierre Jouannaud,
J. Jouannaud,
1995
.
Jean-Pierre Jouannaud,
Nachum Dershowitz,
Jan Willem Klop,
1995,
RTA.
Jean-Pierre Jouannaud,
Maribel Fernández,
J. Jouannaud,
1994,
COMPASS/ADT.
Albert Rubio,
Jean-Pierre Jouannaud,
Frédéric Blanqui,
2015,
Log. Methods Comput. Sci..
Jean-Pierre Jouannaud,
J. Jouannaud,
2001
.
J. Jouannaud,
M. Okada,
1997,
Theor. Comput. Sci..
Albert Rubio,
Jean-Pierre Jouannaud,
J. Jouannaud,
1996,
RTA.
Jean-Pierre Jouannaud,
Mitsuhiro Okada,
J. Jouannaud,
1991,
[1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Jean-Pierre Jouannaud,
B. Waldmann,
J. Jouannaud,
1987,
Formal Description of Programming Concepts.
Albert Rubio,
Jean-Pierre Jouannaud,
J. Jouannaud,
1999,
Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Jean-Pierre Jouannaud,
J. Jouannaud,
2005,
Processes, Terms and Cycles.
Jean-Pierre Jouannaud,
J. Jouannaud,
1998,
WRLA.
Jean-Pierre Jouannaud,
J. Jouannaud,
2005,
RTA.
Jean-Pierre Jouannaud,
Mitsuhiro Okada,
Frédéric Blanqui,
2002,
Theor. Comput. Sci..
Jean-Pierre Jouannaud,
Hubert Comon-Lundh,
Marianne Haberstrau,
1994,
Inf. Comput..
Jean-Pierre Jouannaud,
Claude Marché,
J. Jouannaud,
1992,
Theor. Comput. Sci..
Jean-Pierre Jouannaud,
Mitsuhiro Okada,
J. Jouannaud,
1991,
ICALP.
Jean-Pierre Jouannaud,
Nachum Dershowitz,
J. Jouannaud,
1991,
Bull. EATCS.
Jean-Pierre Jouannaud,
Walid Sadfi,
J. Jouannaud,
1994,
CTRS.
Jean-Pierre Jouannaud,
J. Jouannaud,
1985,
Lecture Notes in Computer Science.
J. Goguen,
J. Meseguer,
J. Jouannaud,
1985,
ICALP.
J. Jouannaud,
N. Dershowitz,
2018
.
Jean-Pierre Jouannaud,
Benjamin Monate,
J. Jouannaud,
2010,
LPAR.
Jean-Pierre Jouannaud,
Pierre-Yves Strub,
Pierre-Yves Strub,
2017,
LPAR.
Jean-Pierre Jouannaud,
Pierre-Yves Strub,
Frédéric Blanqui,
2008,
IFIP TCS.
Jean-Pierre Jouannaud,
Pierre-Yves Strub,
Frédéric Blanqui,
2007,
CSL.
J. Jouannaud,
M. Okada,
F. Blanqui,
1999,
RTA.
Jean-Pierre Jouannaud,
Jacek Chrzaszcz,
J. Jouannaud,
2006,
Essays Dedicated to Joseph A. Goguen.
Jean-Pierre Jouannaud,
Nachum Dershowitz,
Jan Willem Klop,
1991,
RTA.
Albert Rubio,
Jean-Pierre Jouannaud,
J. Jouannaud,
2006,
RTA.
J. Jouannaud,
J. Meseguer,
Adel Bouhoula,
1997,
TAPSOFT.
Jean-Pierre Jouannaud,
Adel Bouhoula,
J. Jouannaud,
1997,
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
J. Jouannaud,
Equational LogicAdel Bouhoula,
1996
.
Jean-Pierre Jouannaud,
J. Jouannaud,
1990,
MFCS.
Jean-Pierre Jouannaud,
Jiaxiang Liu,
J. Jouannaud,
2012,
Theor. Comput. Sci..
Jean-Pierre Jouannaud,
Vincent van Oostrom,
J. Jouannaud,
2009,
ICALP.
Jean-Pierre Jouannaud,
J. Jouannaud,
1991,
STACS.
Jean-Pierre Jouannaud,
Colloquium on Trees in Algebra,
M.-C. Gaudel,
1993,
Lecture Notes in Computer Science.