Sign in
Confluence and Commutation for Nominal Rewriting Systems with Atom-Variables.
Kentaro Kikuchi
Takahito Aoto
Published in:
LOPSTR (2020)
Keyphrases
</>
rewriting systems
rewriting rules
database systems
description logics