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 ...
Lucas Alba, Salvador; Vítores-Vicente, Miguel; Gutiérrez Gil, Raúl(Elsevier, 2022-04)
[EN] Context-sensitive rewriting is a restriction of term rewriting where reductions are allowed on specific arguments of function symbols only, and then in particular positions of terms. Confluence is an abstract property ...