7 search results - page 1 / 2 » Nominal rewriting |
91
Voted
ENTCS
2007
15 years 14 days ago
2007
Nominal rewriting introduced a novel method of specifying rewriting on syntax-with-binding. We extend this treatment of rewriting with hierarchy of variables representing increasi...
106
Voted
PPDP
2004
Springer
15 years 5 months ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...
78
Voted
CORR
2010
Springer
15 years 19 days ago
2010
Springer
86
Voted
PPDP
2005
Springer
15 years 6 months ago
2005
Springer
