DSpace Repository

Browsing by Author "Bofill, Miquel"

Browsing by Author "Bofill, Miquel"

Sort by: Order: Results:

  • Bofill, Miquel; Borralleras Andreu, Cristina; Rodríguez-Carbonell, Enric; Rubio, Albert (Oxford University Press, 06-2012)
    In most termination tools two ingredients, namely recursive path orderings (RPOs) and polynomial interpretation orderings (POLOs), are used in a consecutive disjoint way to solve the final constraints generated from the ...

Search RIUVic