 | EasyChair Smart Slide | Docs/Log in |
| Home |
Title:Rewriting with Generalized Nominal Unification
Conference:UNIF 2018
Tags:atom variables, critical pair, expression variable, freshness constraint, generalized nominal unification, Knuth-Bendix criterion, nominal rewriting, nominal unification and rewrite rule
Abstract:
We consider rewriting, critical pairs and confluence tests on rewrite rules using nominal notation. Computing critical pairs is done using nominal unification, and rewriting using nominal matching. The progress is that we permit atom variables in the notation and in the unification algorithm, which generalizes previous approaches using usual nominal unification
Rewriting with Generalized Nominal Unification
Rewriting with Generalized Nominal Unification
