Un anneau de Prüfer

Lombardi, H.

Actes des rencontres du CIRM, Volume 2 (2010) p. 59-69

Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini

Hibti, M.; Legeard, B.; Lombardi, H.

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 31 (1997) p. 205-236

Spécialisation de la suite de Sturm et sous-résultants (I)

González-Vega, L.; Lombardi, H.; Recio, T.; Roy, M.-F.

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 24 (1990) p. 561-588