Login / Signup

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

Kentaro KikuchiTakahito Aoto
Published in: LOPSTR (2020)
Keyphrases
  • rewriting systems
  • rewriting rules
  • database systems
  • description logics