Explora I+D+i UPV

Volver atrás Publicación

Proving Termination of Context-Sensitive Rewriting by Transformation

Compartir
Año

Revista

Information and Computation