- -

Proving Termination Properties with Muterm

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

Compartir/Enviar a

Citas

Estadísticas

  • Estadisticas de Uso

Proving Termination Properties with Muterm

Mostrar el registro completo del ítem

Alarcón, B.; Gutiérrez Gil, R.; Lucas Alba, S.; Navarro-Marset, R. (2010). Proving Termination Properties with Muterm. Lecture Notes in Computer Science. 6486:201-208. https://doi.org/10.1007/978-3-642-17796-5_12

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

Ficheros en el ítem

Thumbnail
Nombre: AlarconGutierrezLucas ...
Tamaño: 222.3Kb
Formato: PDF
Descripción: Versión del Autor.
Abrir/Preview
[Cerrado]
Nombre: amast10LNCS.pdf
Tamaño: 171.2Kb
Formato: PDF
Descripción: Versión editorial
Solicitar una copia al autor

Metadatos del ítem

Título: Proving Termination Properties with Muterm
Autor: Alarcón, Beatriz Gutiérrez Gil, Raúl Lucas Alba, Salvador Navarro-Marset, Rafael
Entidad UPV: Universitat Politècnica de València. Escola Tècnica Superior d'Enginyeria Informàtica
Universitat Politècnica de València. Escuela Politécnica Superior de Alcoy - Escola Politècnica Superior d'Alcoi
Fecha difusión:
Resumen:
[EN] MU-TERM is a tool which can be used to verify a number of termination properties of (variants of) Term Rewriting Systems (TRSs): termination of rewriting, termination of innermost rewriting, termination of order-sorted ...[+]
Palabras clave: Termination Property , Proof Tree , Strongly Connect Component , Termination Proof , Termination Tool
Derechos de uso: Reserva de todos los derechos
Fuente:
Lecture Notes in Computer Science. (issn: 0302-9743 )
DOI: 10.1007/978-3-642-17796-5_12
Editorial:
Springer-Verlag
Versión del editor: https://doi.org/10.1007/978-3-642-17796-5_12
Código del Proyecto:
info:eu-repo/grantAgreement/MEC//TIN2007-68093-C02-02/
Agradecimientos:
Partially supported by EU (FEDER) and MICINN grant TIN 2007-68093-C02-02.
Tipo: Artículo

recommendations

 

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

Mostrar el registro completo del ítem