Explora I+D+i UPV

Volver atrás Publicación

Report on the use of polynomials with real and rational coefficients in proofs of termination

Imprimir
Compartir
¿Quieres contarnos tu reto? Pincha aquí y te ayudamos a encontrar una solución
Autores UPV

Año

CONGRESO

Report on the use of polynomials with real and rational coefficients in proofs of termination