Parallel closure theorem for left-linear nominal rewriting systems

DOI10.1007/978-3-319-66167-4_7zbMath1495.68114OpenAlexW2746059395MaRDI QIDQ1687545

Takahito Aoto, Yoshihito Toyama, Kentaro Kikuchi

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)

Related Items (3)

Ground confluence and strong commutation modulo alpha-equivalence in nominal rewriting ⋮ Rewriting with generalized nominal unification ⋮ Confluence and commutation for nominal rewriting systems with atom-variables

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