Login / Signup
Formalizing the Confluence of Orthogonal Rewriting Systems
Ana Cristina Rocha Oliveira
Mauricio Ayala-Rincón
Published in:
LSFA (2012)
Keyphrases
</>
rewriting systems
rewriting rules
rewrite rules