Mostrar el registro completo del ítem
Lucas Alba, S. (2015). Completeness of Context-Sensitive Rewriting. Information Processing Letters. 115(2):87-92. https://doi.org/10.1016/j.ipl.2014.07.004
Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/64906
Título: | Completeness of Context-Sensitive Rewriting | |
Autor: | ||
Entidad UPV: |
|
|
Fecha difusión: |
|
|
Resumen: |
Restrictions of rewriting may turn normal forms of some terms unreachable, leading to
incomplete computations. Context-sensitive rewriting (csr) is the restriction of rewriting that
only permits reductions on arguments ...[+]
|
|
Palabras clave: |
|
|
Derechos de uso: | Reserva de todos los derechos | |
Fuente: |
|
|
DOI: |
|
|
Editorial: |
|
|
Versión del editor: | http://dx.doi.org/10.1016/j.ipl.2014.07.004 | |
Código del Proyecto: |
|
|
Agradecimientos: |
|
|
Tipo: |
|