Parallel closure theorem for left-linear nominal rewriting systems
From MaRDI portal
Publication:1687545
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
Related Items
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
