Confluence of orthogonal nominal rewriting systems revisited
From MaRDI portal
Publication:5277887
DOI10.4230/LIPIcs.RTA.2015.301zbMath1366.68128OpenAlexW2286731296MaRDI QIDQ5277887
Yoshihito Toyama, Takaki Suzuki, Takahito Aoto, Kentaro Kikuchi
Publication date: 12 July 2017
Full work available at URL: https://doi.org/10.4230/lipics.rta.2015.301
Related Items (7)
Confluence of orthogonal term rewriting systems in the prototype verification system ⋮ Nominal syntax with atom substitutions ⋮ Ground confluence and strong commutation modulo alpha-equivalence in nominal rewriting ⋮ Rewriting with generalized nominal unification ⋮ Checking overlaps of nominal rewriting rules ⋮ Nominal Confluence Tool ⋮ Confluence and commutation for nominal rewriting systems with atom-variables
This page was built for publication: Confluence of orthogonal nominal rewriting systems revisited
