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

Por favor, use este identificador para citar o enlazar este ítem: http://hdl.handle.net/10251/202279

Ficheros en el ítem

Nombre: GutierrezLucas - ...

Tamaño: 438.0Kb

Formato: PDF

Descripción: Versión del Autor.

Abrir/Preview

Nombre: gl10.pdf

Tamaño: 351.0Kb

Formato: PDF

Descripción: Versión editorial

Solicitar una copia al autor

Metadatos del ítem

Título:	Proving Termination in the Context-Sensitive Dependency Pair Framework
Autor:	Gutiérrez Gil, Raúl Lucas Alba, Salvador
Entidad UPV:	Universitat Politècnica de València. Escuela Politécnica Superior de Alcoy - Escola Politècnica Superior d'Alcoi Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica
Fecha difusión:	2010
Palabras clave:	Dependency Graph , Dependency Pair , Reduction Pair , Fresh Variable , Migrate Variable
Derechos de uso:	Reserva de todos los derechos
Fuente:	Lecture Notes in Computer Science. (issn: 0302-9743 )
DOI:	10.1007/978-3-642-16310-4_3
Editorial:	Springer-Verlag
Versión del editor:	http://doi.org/10.1007/978-3-642-16310-4_3
Código del Proyecto:	info:eu-repo/grantAgreement/MEC//TIN2007-68093-C02-02/
Agradecimientos:	Partially supported by the EU (FEDER) and the Spanish MEC/MICINN, under grant TIN 2007-68093-C02-02.
Tipo:	Artículo

recommendations

 

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

• Artículos, conferencias, monografías [45975]
  
• OpenAIRE (Open Access Infrastructure for Research in Europe) [5824]
  

Mostrar el registro completo del ítem