RiuNet repositorio UPV
:
Listar por palabra clave

Buscar en RiuNet

Listar

Todo RiuNet

Mi cuenta

Acceder

Ayuda RiuNet

Admin. UPV

Listar por palabra clave "Context-sensitive rewriting system"

Mostrando ítems 1-1 de 1

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 ...

Mostrando ítems 1-1 de 1