- -

Context-Sensitive Dependency Pairs Framework

RiuNet: Repositorio Institucional de la Universidad Politécnica de Valencia

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Context-Sensitive Dependency Pairs Framework

Mostrar el registro sencillo del ítem

Ficheros en el ítem

Thumbnail
Nombre: tesis.pdf
Tamaño: 592.8Kb
Formato: PDF
Abrir
dc.contributor.advisor Lucas Alba, Salvador es_ES
dc.contributor.author Gutiérrez Gil, Raúl es_ES
dc.date.accessioned 2011-11-28T13:25:01Z
dc.date.available 2011-11-28T13:25:01Z
dc.date.created 2008-12
dc.date.issued 2011-11-28
dc.identifier.uri http://hdl.handle.net/10251/13625
dc.description.abstract We show how to develop a dependency pair framework for proving termination of context-sensitive rewriting. es_ES
dc.format.extent 102 es_ES
dc.language Inglés es_ES
dc.publisher Universitat Politècnica de València es_ES
dc.rights Reserva de todos los derechos es_ES
dc.subject Termination es_ES
dc.subject Context-sensitive rewriting es_ES
dc.subject Dependency pairs es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.subject.other Máster Universitario en Ingeniería del Software, Métodos Formales y Sistemas de Información-Màster Universitari en Enginyeria del Programari, Mètodes Formals i Sistemes D'Informació es_ES
dc.title Context-Sensitive Dependency Pairs Framework es_ES
dc.type Tesis de máster es_ES
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Servicio de Alumnado - Servei d'Alumnat es_ES
dc.description.bibliographicCitation Gutiérrez Gil, R. (2008). Context-Sensitive Dependency Pairs Framework. http://hdl.handle.net/10251/13625 es_ES
dc.description.accrualMethod Archivo delegado es_ES


Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem