DSpace Repository

Monotonic AC-Compatible Semantic Path Orderings

Show simple item record

dc.contributor Universitat de Vic. Escola Politècnica Superior
dc.contributor Universitat de Vic. Grup de Recerca en Tecnologies Digitals
dc.contributor.author Borralleras Andreu, Cristina
dc.contributor.author Rubio, Albert
dc.date.accessioned 2012-10-08T11:41:22Z
dc.date.available 2012-10-08T11:41:22Z
dc.date.created 2003
dc.date.issued 2003
dc.identifier.citation BORRALLERAS ANDREU, Cristina; RUBIO, A. Monotonic AC-compatible semantic path orderings. Valencia, Spain, Berlin, Germay: Spinger-Verlag Berlin, 2003.. ca_ES
dc.identifier.uri http://hdl.handle.net/10854/1893
dc.description.abstract 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 important limitations as termination provingto ols. To overcome these limitations, more powerful methods like the dependency pair method have been extended to the AC-case. Unfortunately, in order to ensure AC-termination, the so-called extended rules, which, CA gpApirμj rip hrio nO RiO/pj >skn bp roopo nO nhp ipwiCnp kaknp>. In this paper we present a fully monotonic AC-compatible semantic path ordering. This monotonic AC-orderingdefines a new automatable termination provingmetho d for AC-rewritingwhic h does not need to consider extended rules. As a hint of the power of this method, we can easily prove several non-trivial examples appearingin the literature, includingone that, to our knowledge, can be handled by no other automatic method.
dc.format application/pdf
dc.format.extent 17 p. ca_ES
dc.language.iso eng ca_ES
dc.publisher Springer ca_ES
dc.rights (c) Springer
dc.rights Tots els drets reservats ca_ES
dc.subject.other Informàtica ca_ES
dc.title Monotonic AC-Compatible Semantic Path Orderings ca_ES
dc.type info:eu-repo/semantics/bookPart ca_ES
dc.rights.accesRights info:eu-repo/semantics/closedAccess

Files in this item

Show simple item record

Search RIUVic

Advanced Search