Parallel closure theorem for left-linear nominal rewriting systems

DOI10.1007/978-3-319-66167-4_7MaRDI QIDQ1687545zbMATH OpenOpenAlexFDO

Authors Kentaro Kikuchi, Takahito Aoto, Yoshihito Toyama

Publication date 4 January 2018

Full work available at URL https://doi.org/10.1007/978-3-319-66167-4_7

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Confluence of orthogonal nominal rewriting systems revisited
• Nominal confluence tool
• Nominal rewriting
• Checking overlaps of nominal rewriting rules
• Rewriting with generalized nominal unification

Cited in

(7)

• Rewriting with generalized nominal unification
• Nominal confluence tool
• Confluence and commutation for nominal rewriting systems with atom-variables
• Non-linear rewrite closure and weak normalization
• Checking overlaps of nominal rewriting rules
• Ground confluence and strong commutation modulo alpha-equivalence in nominal rewriting
• Confluence of orthogonal nominal rewriting systems revisited

This page was built for publication: Parallel closure theorem for left-linear nominal rewriting systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1687545)