835 articles – 1515 references  [version française]
.:. Browse > By researchteam > CeP .:.
1 document
fulltext access An Efficient Algorithm for a Sharp Approximation of Universally Quantified Inequalities
Goldsztejn A., Michel C., Rueher M.
Dans Proceedings of the 2008 ACM symposium on Applied computing - ACM symposium on Applied computing, Brésil (2008) [hal-00297250 - version 1]