91 search results - page 19 / 19 » Reducts of Propositional Theories, Satisfiability Relations,... |
PPDP
2004
Springer
13 years 10 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...