%0 Journal Article %1 journals/fuin/AlpuenteCEM20 %A Alpuente, María %A Cuenca-Ortega, Angel %A Escobar, Santiago %A Meseguer, José %D 2020 %J Fundam. Informaticae %K dblp %N 3-4 %P 297-329 %T Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms. %U http://dblp.uni-trier.de/db/journals/fuin/fuin177.html#AlpuenteCEM20 %V 177

@article{journals/fuin/AlpuenteCEM20, 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/220a05c70638c446878688792d899e545/dblp}, ee = {https://doi.org/10.3233/FI-2020-1991}, interhash = {11715682e858d2a913e5a9693583bfe8}, intrahash = {20a05c70638c446878688792d899e545}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = {3-4}, pages = {297-329}, timestamp = {2024-04-08T10:04:07.000+0200}, title = {Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin177.html#AlpuenteCEM20}, volume = 177, year = 2020 }