Navegar

Colección

Datos Estadísticas

Lista de

2017
1349
Annals of Pure and Applied Logic
1
"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