Sciweavers

RTA
2010
Springer
13 years 9 months ago
Polynomial Interpretations over the Reals do not Subsume Polynomial Interpretations over the Integers
Polynomial interpretations are a useful technique for proving termination of term rewrite systems. They come in various flavors: polynomial interpretations with real, rational and...
Friedrich Neurauter, Aart Middeldorp
MFCS
2009
Springer
14 years 5 months ago
On the Recognizability of Self-generating Sets
Let I be a finite set of integers and F be a finite set of maps of the form n → ki n + i with integer coefficients. For an integer base k ≥ 2, we study the k-recognizability ...
Tomi Kärki, Anne Lacroix, Michel Rigo