FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Rewriting with Generalized Nominal Unification

Authors: Yunus David Kerem Kutz and Manfred Schmidt-Schauss

Paper Information

Title:Rewriting with Generalized Nominal Unification
Authors:Yunus David Kerem Kutz and Manfred Schmidt-Schauss
Proceedings:UNIF Extended abstracts
Editors: Mauricio Ayala-Rincon and Philippe Balbiani
Keywords:nominal unification, atom variables, nominal rewriting, Knuth-Bendix criterion
Abstract:

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

Pages:7
Talk:Jul 07 17:00 (Session 31S: Nominal Unification and Formalisations)
Paper: