Sciweavers

AAECC
2008
Springer
110views Algorithms» more  AAECC 2008»
13 years 3 months ago
Adding constants to string rewriting
We consider unary term rewriting, i.e., term rewriting with unary signatures where all function symbols are either unary or constants. Terms over such signatures can be transformed...
René Thiemann, Hans Zantema, Jürgen Gi...