Confluence and Commutation for Nominal Rewriting Systems with Atom-Variables.

Kentaro Kikuchi, Takahito Aoto

Browse the full LOPSTR paper archive.