Mostrar el registro completo del ítem
Lucas Alba, S.; Vítores-Vicente, M.; Gutiérrez Gil, R. (2022). Proving and disproving confluence of context-sensitive rewriting. Journal of Logical and Algebraic Methods in Programming. 126:1-20. https://doi.org/10.1016/j.jlamp.2022.100749
Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/194829
Título: | Proving and disproving confluence of context-sensitive rewriting | |
Autor: | Vítores-Vicente, Miguel | |
Entidad UPV: |
|
|
Fecha difusión: |
|
|
Resumen: |
[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 ...[+]
|
|
Palabras clave: |
|
|
Derechos de uso: | Reconocimiento - No comercial - Sin obra derivada (by-nc-nd) | |
Fuente: |
|
|
DOI: |
|
|
Editorial: |
|
|
Versión del editor: | https://doi.org/10.1016/j.jlamp.2022.100749 | |
Código del Proyecto: |
|
|
Agradecimientos: |
|
|
Tipo: |
|