- -

Listar por palabra clave "Polynomial ordering"

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

Listar por palabra clave "Polynomial ordering"

Ordenar por:Orden:Resultados:

  • thumb
    Solving polynomial constraints for proving termination of rewriting 
    Navarro Marset, Rafael Andrés (Universitat Politècnica de València, 2011-11-28)
    A termination problem can be transformed into a set of polynomial constraints. Up to now, several approaches have been studied to deal with these constraints as constraint solving problems. In this thesis, we study in depth ...