Mostrar el registro completo del ítem
Gutiérrez Gil, R.; Lucas Alba, S.; Urbain, X. (2008). Usable Rules for Context-Sensitive Rewrite Systems. Lecture Notes in Computer Science. 5117:126-141. https://doi.org/10.1007/978-3-540-70590-1_9
Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/202271
Título: | Usable Rules for Context-Sensitive Rewrite Systems | |
Autor: | Urbain, Xavier | |
Entidad UPV: |
|
|
Fecha difusión: |
|
|
Resumen: |
[EN] Recently, the dependency pairs (DP) approach has been generalized to context-sensitive rewriting (CSR). Although the context-sensitive dependency pairs (CS-DP) approach provides a very good basis for proving termination ...[+]
|
|
Palabras clave: |
|
|
Derechos de uso: | Reserva de todos los derechos | |
Fuente: |
|
|
DOI: |
|
|
Editorial: |
|
|
Versión del editor: | http://dx.doi.org/10.1007/978-3-540-70590-1_9 | |
Código del Proyecto: |
|
|
Agradecimientos: |
|
|
Tipo: |
|