DSpace Repository

Browsing Llibres i capítols de llibres by Author "Borralleras Andreu, Cristina"

Browsing Llibres i capítols de llibres by Author "Borralleras Andreu, Cristina"

Sort by: Order: Results:

  • Borralleras Andreu, Cristina; Ferreira, Maria; Rubio, Albert (Springer, 2000)
    Although theoretically it is very powerful, the semantic path ordering (SPO) is not so udeful in practice, since its monotonicity has to be proved by hand for each concrete term rewrite system (TRS). In this paper we present ...
  • Borralleras Andreu, Cristina; Rubio, Albert (Springer, 2003)
    Abstract. Polynomial interpretations and RPO-like orderings allow one to prove termination of Associative and Commutative (AC-)rewriting by only checkingthe rules of the given rewrite system. However, these methods have ...

Search RIUVic


Browse