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]
@inproceedings{AndrianariveloP17,
title = {Transforming Prefix-constrained or Controlled Rewrite Systems},
author = {Nirina Andrianarivelo and Vivien Pelletier and Pierre Réty},
year = {2017},
url = {http://www.easychair.org/publications/paper/Transforming_Prefix-constrained_or_Controlled_Rewrite_Systems},
researchr = {https://researchr.org/publication/AndrianariveloP17},
cites = {0},
citedby = {0},
pages = {49-62},
booktitle = {SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia},
editor = {Mohamed Mosbah and Michaël Rusinowitch},
volume = {45},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}