%0 Conference Paper %1 conf/wrla/BoichutPR16 %A Boichut, Yohan %A Pelletier, Vivien %A Réty, Pierre %B WRLA %D 2016 %E Lucanu, Dorel %I Springer %K %P 64-81 %T Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems. %U http://dblp.uni-trier.de/db/conf/wrla/wrla2016.html#BoichutPR16 %V 9942 %@ 978-3-319-44801-5

@inproceedings{conf/wrla/BoichutPR16, added-at = {2023-12-13T04:43:41.000+0100}, author = {Boichut, Yohan and Pelletier, Vivien and Réty, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/24c11a3d3bfcf001d3b51e503dd3accfd/admin}, booktitle = {WRLA}, crossref = {conf/wrla/2016}, editor = {Lucanu, Dorel}, ee = {https://doi.org/10.1007/978-3-319-44802-2_4}, interhash = {998e4fe41a75827521338c6af8b147bf}, intrahash = {4c11a3d3bfcf001d3b51e503dd3accfd}, isbn = {978-3-319-44801-5}, keywords = {}, pages = {64-81}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T04:43:41.000+0100}, title = {Synchronized Tree Languages for Reachability in Non-right-linear Term Rewrite Systems.}, url = {http://dblp.uni-trier.de/db/conf/wrla/wrla2016.html#BoichutPR16}, volume = 9942, year = 2016 }