@inproceedings{grosshans:hal-02303526, TITLE = {{The Power of Programs over Monoids in DA}}, AUTHOR = {Grosshans, Nathan and Mckenzie, Pierre and Segoufin, Luc}, URL = {https://hal.science/hal-02303526}, BOOKTITLE = {{42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)}}, ADDRESS = {Aalborg, Denmark}, PAGES = {2:1--2:20}, YEAR = {2017}, MONTH = Aug, DOI = {10.4230/LIPIcs.MFCS.2017.2}, KEYWORDS = {Programs over monoids ; DA ; lower-bounds}, PDF = {https://hal.science/hal-02303526/file/Grosshans_N.-McKenzie_P.-Segoufin_L.-The_Power_of_Programs_over_Monoids_in_DA.pdf}, HAL_ID = {hal-02303526}, HAL_VERSION = {v1}, }