Transforming Prefix-constrained or Controlled Rewrite Systems

Nirina Andrianarivelo, Vivien Pelletier, Pierre Réty. Transforming Prefix-constrained or Controlled Rewrite Systems. In Mohamed Mosbah, Michaël Rusinowitch, editors, SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia. Volume 45 of EPiC Series in Computing, pages 49-62, EasyChair, 2017. [doi]

Authors

Nirina Andrianarivelo

This author has not been identified. Look up 'Nirina Andrianarivelo' in Google

Vivien Pelletier

This author has not been identified. Look up 'Vivien Pelletier' in Google

Pierre Réty

This author has not been identified. Look up 'Pierre Réty' in Google