Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms

Alpuente, María ; Cuenca-Ortega, Angel ; Escobar, Santiago ; Meseguer, José Hermenegildo, Manuel ; Pettorossi, Alberto ; López-García, Pedro ; Proietti, Maurizio

Fundamenta informaticae, 2020-01, Vol.177 (3-4), p.297-329 [Periódico revisado por pares]

Amsterdam: IOS Press BV

Texto completo disponível