Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
María Alpuente, Angel Cuenca-Ortega, Santiago Escobar 0001, José Meseguer. Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms. Fundamenta Informaticae, 177(3-4):297-329, 2020. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity AxiomsMaría Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer. LOPSTR 2019: 38-55 [doi] Order-Sorted Equality Enrichments Modulo AxiomsRaúl Gutiérrez, José Meseguer, Camilo Rocha. WRLA 2012: 162-181 [doi] Order-sorted equality enrichments modulo axiomsRaúl Gutiérrez, José Meseguer, Camilo Rocha. SCP, 99:235-261, 2015. [doi]
The following publications are possibly variants of this publication: