%0 Conference Paper %1 conf/rta/GuiraudMM13 %A Guiraud, Yves %A Malbos, Philippe %A Mimram, Samuel %B RTA %D 2013 %E van Raamsdonk, Femke %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K %P 223-238 %T A Homotopical Completion Procedure with Applications to Coherence of Monoids. %U http://dblp.uni-trier.de/db/conf/rta/rta2013.html#GuiraudMM13 %V 21 %@ 978-3-939897-53-8

@inproceedings{conf/rta/GuiraudMM13, added-at = {2023-12-12T22:49:21.000+0100}, author = {Guiraud, Yves and Malbos, Philippe and Mimram, Samuel}, biburl = {https://www.bibsonomy.org/bibtex/2d6e1ef405c884b34c33870e3e2983b6e/admin}, booktitle = {RTA}, crossref = {conf/rta/2013}, editor = {van Raamsdonk, Femke}, ee = {https://doi.org/10.4230/LIPIcs.RTA.2013.223}, interhash = {4e9364bba59d0adb624a6992e0e29b72}, intrahash = {d6e1ef405c884b34c33870e3e2983b6e}, isbn = {978-3-939897-53-8}, keywords = {}, pages = {223-238}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2023-12-12T22:49:21.000+0100}, title = {A Homotopical Completion Procedure with Applications to Coherence of Monoids.}, url = {http://dblp.uni-trier.de/db/conf/rta/rta2013.html#GuiraudMM13}, volume = 21, year = 2013 }