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 de términos"

Mostrando ítems 1-2 de 2

CONFident: una herramienta para el análisis de la confluencia de sistemas de reescritura

Vítores Vicente, Miguel (Universitat Politècnica de València, 2022-04-29)

[ES] CONFident es una herramienta que demuestra la confluencia, una de las propiedades más importantes en el análisis de sistemas de reescritura. Para ello hace uso de algunas herramientas como infChecker o mu-term. Por ...
Una aplicación de minería de datos para el análisis de la propiedad de terminación de SRTs

Fabregat Marcos, Hermenegildo (Universitat Politècnica de València, 2015-07-31)

[ES] La minería de datos juega a día de hoy un papel importante en muchos campos de la ciencia debido a la gran cantidad de información con la que se trabaja diariamente y la que se puede deducir de la misma. Las ...

Mostrando ítems 1-2 de 2