Gutiérrez Gil, R.; Lucas Alba, S. (2015). Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting. http://hdl.handle.net/10251/50750
Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/50750
Title: | Function Calls at Frozen Positions in Termination of Context-Sensitive Rewriting | |
Author: | ||
UPV Unit: |
|
|
Issued date: |
|
|
Abstract: |
Context-sensitive rewriting (CSR) is a variant of rewriting where only selected arguments of function symbols can be rewritten. Consequently, the subterm positions of a term are classified as either active, i.e., positions ...[+]
|
|
Subjects: |
|
|
Copyrigths: | Reserva de todos los derechos | |
Publisher: |
|
|
Type: |
|