Henri Lombardi
发表
Bruno Legeard,
Fabrice Ambert,
Mohamed Hibti,
1993,
ICLP Workshop on Logic Programming with Sets.
Henri Lombardi,
Maria Emilia Alonso,
2010,
J. Symb. Comput..
Laureano González-Vega,
Tomás Recio,
Marie-Françoise Roy,
1990,
RAIRO Theor. Informatics Appl..
Henri Lombardi,
Salah Labhalla,
Roger Marlin,
1996,
Theor. Comput. Sci..
Thierry Coquand,
Marie-Françoise Roy,
Henri Lombardi,
2005,
Mathematics, Algorithms, Proofs.
Thierry Coquand,
Peter Schuster,
Henri Lombardi,
2005,
Mathematics, Algorithms, Proofs.
Mohab Safey El Din,
Marie-Françoise Roy,
Henri Lombardi,
2000,
J. Symb. Comput..
Henri Lombardi,
Salah Labhalla,
Mohamed Khalouani,
1999
.
Henri Lombardi,
Salah Labhalla,
1991,
Theor. Comput. Sci..
Hervé Perdry,
Henri Lombardi,
Mariemi Alonso,
2005,
Mathematics, Algorithms, Proofs.
Thierry Coquand,
Henri Lombardi,
2005,
Am. Math. Mon..
Henri Lombardi,
Claude Quitté,
2015
.
Hervé Perdry,
Henri Lombardi,
Maria Emilia Alonso,
2008,
Math. Log. Q..
Henri Lombardi,
Stefan Neuwirth,
Maroua Gamanda,
2020,
Math. Comput..
Gema María Díaz-Toca,
Henri Lombardi,
Nadia Ben Atti,
2005,
Applicable Algebra in Engineering, Communication and Computing.
Thierry Coquand,
Marie-Françoise Roy,
Henri Lombardi,
2006,
Mathematics, Algorithms, Proofs.
Henri Lombardi,
Claude Quitté,
2008,
Math. Log. Q..
Henri Lombardi,
Salah Labhalla,
Mohamed Khalouani,
1999,
Math. Log. Q..
Gema María Díaz-Toca,
Henri Lombardi,
2010,
J. Symb. Comput..
Bruno Legeard,
Mohamed Hibti,
Henri Lombardi,
1993,
ICLP Workshop on Logic Programming with Sets.
Thierry Coquand,
Henri Lombardi,
2006,
Math. Struct. Comput. Sci..
Thierry Coquand,
Henri Lombardi,
T. Coquand,
2008,
Math. Log. Q..
Thierry Coquand,
Henri Lombardi,
Claude Quitté,
2010,
J. Symb. Comput..
Henri Lombardi,
Salah Labhalla,
E. Moutai,
2001,
Theor. Comput. Sci..
Thierry Coquand,
Peter Schuster,
Henri Lombardi,
2009,
Annals of Mathematics and Artificial Intelligence.
Henri Lombardi,
H. Lombardi,
1998,
Ann. Pure Appl. Log..
Henri Lombardi,
Salah Labhalla,
1990,
Ann. Pure Appl. Log..
Henri Lombardi,
H. Lombardi,
2006,
Ann. Pure Appl. Log..
Thierry Coquand,
Henri Lombardi,
Marie-Françoise Roy,
2005,
From sets and types to topology and analysis.
Henri Lombardi,
Salah Labhalla,
1996,
Math. Log. Q..
Michel Coste,
Marie-Françoise Roy,
Henri Lombardi,
2005,
J. Complex..
Laureano González-Vega,
Gema María Díaz-Toca,
Henri Lombardi,
2005,
SIAM J. Matrix Anal. Appl..
Michel Coste,
Marie-Françoise Roy,
Henri Lombardi,
2001,
Ann. Pure Appl. Log..
Henri Lombardi,
Ihsen Yengui,
2005,
J. Symb. Comput..
Bruno Legeard,
Mohamed Hibti,
Henri Lombardi,
1993,
LPAR.
Bruno Legeard,
Mohamed Hibti,
Henri Lombardi,
1997,
RAIRO Theor. Informatics Appl..
Laureano González-Vega,
Tomás Recio,
Marie-Françoise Roy,
1994,
RAIRO Theor. Informatics Appl..
Tomás Recio,
Marie-Françoise Roy,
Henri Lombardi,
1989,
ISSAC '89.
Henri Lombardi,
Claude Quitté,
H. Lombardi,
2008,
Theor. Comput. Sci..
Thierry Coquand,
Henri Lombardi,
Stefan Neuwirth,
2021
.
Thierry Coquand,
Marie-Françoise Roy,
Henri Lombardi,
2021
.
Henri Lombardi,
Salah Labhalla,
H. Lombardi,
1991
.
Henri Lombardi,
H. Lombardi,
1991
.
Charles N. Delzell,
Henri Lombardi,
Laureano Gonzalez-Vega,
1993
.
Hervé Perdry,
Franz-Viktor Kuhlmann,
Henri Lombardi,
2005
.
Marie-Françoise Roy,
Henri Lombardi,
Nikolai Mnev,
1996
.
Thierry Coquand,
Henri Lombardi,
Claude Quitté,
2009
.
Thierry Coquand,
Peter Schuster,
Henri Lombardi,
2007
.
André Galligo,
Ioannis Z. Emiris,
Henri Lombardi,
1996
.
André Galligo,
Henri Lombardi,
Laureano González Vega,
2003
.
Marie-Françoise Roy,
Henri Lombardi,
1991
.
Henri Lombardi,
Daniel Perrucci,
Marie-Françoise Roy,
2014,
Memoirs of the American Mathematical
Society.