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

María Alpuente, Angel Cuenca-Ortega, Santiago Escobar, José Meseguer

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'Order-sorted Homeomorphic Embedding Modulo Combinations of Associativity and/or Commutativity Axioms'. Together they form a unique fingerprint.

Keyphrases

Computer Science