%0 Conference Paper %1 conf/lopstr/AlpuenteCEM18 %A Alpuente, María %A Cuenca-Ortega, Angel %A Escobar, Santiago %A Meseguer, José %B LOPSTR %D 2018 %E Mesnard, Fred %E Stuckey, Peter J. %I Springer %K dblp %P 38-55 %T Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms. %U http://dblp.uni-trier.de/db/conf/lopstr/lopstr2018.html#AlpuenteCEM18 %V 11408 %@ 978-3-030-13838-7

@inproceedings{conf/lopstr/AlpuenteCEM18, added-at = {2023-09-20T00:00:00.000+0200}, author = {Alpuente, María and Cuenca-Ortega, Angel and Escobar, Santiago and Meseguer, José}, biburl = {https://www.bibsonomy.org/bibtex/23df1c575612f46d52aa2ff1dd227251f/dblp}, booktitle = {LOPSTR}, crossref = {conf/lopstr/2018}, editor = {Mesnard, Fred and Stuckey, Peter J.}, ee = {https://doi.org/10.1007/978-3-030-13838-7_3}, interhash = {1166defc00ca415d17e382792f9fd5e9}, intrahash = {3df1c575612f46d52aa2ff1dd227251f}, isbn = {978-3-030-13838-7}, keywords = {dblp}, pages = {38-55}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T03:26:55.000+0200}, title = {Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms.}, url = {http://dblp.uni-trier.de/db/conf/lopstr/lopstr2018.html#AlpuenteCEM18}, volume = 11408, year = 2018 }