RiuNet repositorio UPV
:
Listar por palabra clave

Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Sistemas de reescritura"

Mostrando ítems 1-1 de 1

Una plataforma para el uso combinado de procesadores en la demostración de la terminación de la reescritura

Martínez López, Alejandro (Universitat Politècnica de València, 2022-10-21)

[ES] Realizar una herramienta que demuestra la terminación de sistemas de reescritura utilizando el denominado Marco de Pares de Dependencia (\emph{DP Framework}) a partir de procesadores aportados por usuarios externos. ...

Mostrando ítems 1-1 de 1