Explora I+D+i UPV

Volver atrás Publicación

Termination of Just/Fair Computations in Term Rewriting

Compartir
Año

Revista

Information and Computation