Keyword:Prefix-constrained rewrite system

Publications
Transforming Prefix-constrained or Controlled Rewrite Systems Nirina Andrianarivelo, Vivien Pelletier and Pierre Réty In:SCSS 2017. The 8th International Symposium on Symbolic Computation in Software Science 2017