- -

Listar por palabra clave "Termination Proof"

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

Listar por palabra clave "Termination Proof"

Ordenar por:Orden:Resultados:

  • thumb
    Proving Termination Properties with Muterm 
    Alarcón, Beatriz; Gutiérrez Gil, Raúl; Lucas Alba, Salvador; Navarro-Marset, Rafael (Springer-Verlag, 2010)
    [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 ...