DSpace Repository

Browsing Llibres i capítols de llibres by Subject "Informàtica"

Browsing Llibres i capítols de llibres by Subject "Informàtica"

Sort by: Order: Results:

  • 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


Advanced Search

Browse