1000 search results - page 1 / 200 » Nominal rewriting systems |
PPDP
2004
Springer
13 years 9 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...
ENTCS
2007
13 years 4 months 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...
JAR
2010
12 years 11 months ago
2010
Nominal logic is a variant of first-order logic with special facilities for reasoning about names and binding based on the underlying concepts of swapping and freshness. It serves ...
CORR
2010
Springer
13 years 4 months ago
2010
Springer
PPDP
2005
Springer
13 years 9 months ago
2005
Springer