Sign in
Transformation rules with nested application conditions: Critical pairs, initial conflicts & minimality.
Leen Lambers
Fernando Orejas
Published in:
Theor. Comput. Sci. (2021)
Keyphrases
</>
transformation rules
rewrite rules