- -

Proving Termination in the Context-Sensitive Dependency Pair Framework

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

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Proving Termination in the Context-Sensitive Dependency Pair Framework

Mostrar el registro sencillo del ítem

Ficheros en el ítem

Thumbnail
Nombre: GutierrezLucas - ...
Tamaño: 438.0Kb
Formato: PDF
Descripción: Versión del Autor.
Abrir
[Cerrado]
Nombre: gl10.pdf
Tamaño: 351.0Kb
Formato: PDF
Descripción: Versión editorial
Solicitar una copia al autor
dc.contributor.author Gutiérrez Gil, Raúl es_ES
dc.contributor.author Lucas Alba, Salvador es_ES
dc.date.accessioned 2024-01-31T19:03:05Z
dc.date.available 2024-01-31T19:03:05Z
dc.date.issued 2010 es_ES
dc.identifier.issn 0302-9743 es_ES
dc.identifier.uri http://hdl.handle.net/10251/202279
dc.description.sponsorship Partially supported by the EU (FEDER) and the Spanish MEC/MICINN, under grant TIN 2007-68093-C02-02. es_ES
dc.language Inglés es_ES
dc.publisher Springer-Verlag es_ES
dc.relation.ispartof Lecture Notes in Computer Science es_ES
dc.rights Reserva de todos los derechos es_ES
dc.subject Dependency Graph es_ES
dc.subject Dependency Pair es_ES
dc.subject Reduction Pair es_ES
dc.subject Fresh Variable es_ES
dc.subject Migrate Variable es_ES
dc.subject.classification LENGUAJES Y SISTEMAS INFORMATICOS es_ES
dc.title Proving Termination in the Context-Sensitive Dependency Pair Framework es_ES
dc.type Artículo es_ES
dc.identifier.doi 10.1007/978-3-642-16310-4_3 es_ES
dc.relation.projectID info:eu-repo/grantAgreement/MEC//TIN2007-68093-C02-02/ es_ES
dc.rights.accessRights Abierto es_ES
dc.contributor.affiliation Universitat Politècnica de València. Escuela Politécnica Superior de Alcoy - Escola Politècnica Superior d'Alcoi es_ES
dc.contributor.affiliation Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica es_ES
dc.description.bibliographicCitation Gutiérrez Gil, R.; Lucas Alba, S. (2010). Proving Termination in the Context-Sensitive Dependency Pair Framework. Lecture Notes in Computer Science. 6381:18-34. https://doi.org/10.1007/978-3-642-16310-4_3 es_ES
dc.description.accrualMethod S es_ES
dc.relation.publisherversion http://doi.org/10.1007/978-3-642-16310-4_3 es_ES
dc.description.upvformatpinicio 18 es_ES
dc.description.upvformatpfin 34 es_ES
dc.type.version info:eu-repo/semantics/publishedVersion es_ES
dc.description.volume 6381 es_ES
dc.relation.pasarela S\41285 es_ES
dc.contributor.funder European Regional Development Fund es_ES
dc.contributor.funder Ministerio de Educación y Ciencia es_ES


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

Mostrar el registro sencillo del ítem