Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Search Techniques for Rational Polynomial Carsten Fuhs1
 

Summary: Search Techniques for Rational Polynomial
Orders
Carsten Fuhs1
, Rafael Navarro-Marset2
, Carsten Otto1
, J¨urgen Giesl1
,
Salvador Lucas2
, and Peter Schneider-Kamp1
1
LuFG Informatik 2, RWTH Aachen University, Germany
{fuhs,giesl,psk}@informatik.rwth-aachen.de, carsten.otto@rwth-aachen.de
2
DSIC, Universidad Polit´ecnica de Valencia, Spain
{slucas,rnavarro}@dsic.upv.es
Abstract. Polynomial interpretations are a standard technique used in
almost all tools for proving termination of term rewrite systems (TRSs)
automatically. Traditionally, one applies interpretations with polynomi-
als over the naturals. But recently, it was shown that interpretations
with polynomials over the rationals can be significantly more powerful.

  

Source: Ábrahám, Erika - Fachgruppe Informatik, Rheinisch Westfälische Technische Hochschule Aachen (RWTH)

 

Collections: Computer Technologies and Information Sciences