Nominal Completion for Rewrite Systems with Binders

DOI10.1007/978-3-642-31585-5_21zbMath1367.68130OpenAlexW1796293478MaRDI QIDQ3167012

Albert Rubio, Maribel Fernández

Publication date: 1 November 2012

Published in: Automata, Languages, and Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-31585-5_21

zbMATH Keywords

orderingscompletionrewritingnominal syntax

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (5)

Unnamed Item ⋮ Rewriting with generalized nominal unification ⋮ Checking overlaps of nominal rewriting rules ⋮ Completeness in PVS of a nominal unification algorithm ⋮ Nominal Confluence Tool

This page was built for publication: Nominal Completion for Rewrite Systems with Binders