Explora I+D+i UPV

Volver atrás Publicación

Polynomials for Proving Termination of Context-Sensitive Rewriting

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

Año

Revista

Lecture Notes in Computer Science