Volver atrás Publicación
Lucas Alba Salvador
2004
Polynomials over the reals in proofs of termination