Cargando…

Relative Termination via Dependency Pairs

A term rewrite system is terminating when no infinite reduction sequences are possible. Relative termination generalizes termination by permitting infinite reductions as long as some distinguished rules are not applied infinitely many times. Relative termination is thus a fundamental notion that has...

Descripción completa

Detalles Bibliográficos
Autores principales: Iborra, José, Nishida, Naoki, Vidal, Germán, Yamada, Akihisa
Formato: Online Artículo Texto
Lenguaje:English
Publicado: Springer Netherlands 2016
Materias:
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC6109893/
https://www.ncbi.nlm.nih.gov/pubmed/30174365
http://dx.doi.org/10.1007/s10817-016-9373-5

Ejemplares similares