Lista de

Perrucci, Daniel
10
2017
2
"On the Davenport–Mahler bound" (2017) Escorcielo, P.; Perrucci, D. Journal of Complexity. 41:72-81
"Elementary recursive quantifier elimination based on Thom encoding and sign determination" (2017) Perrucci, D.; Roy, M.-F. Annals of Pure and Applied Logic. 168(8):1588-1604