Universitat Politècnica de València Explora I+D+i UPV

Volver atrás Publicación

MU-TERM: a tool for proving termination of rewriting with replacement restrictions

Compartir

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