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

Article

Abstract: The Homeomorphic Embedding relation has been amply used for defining termination criteria of symboli

Palabras claves:

homeomorphic embedding, Maude, Rewriting Logic

Autores:

Alpuente M., Angel Cuenca-Ortega, Escobar S., Meseguer J.

Fuentes:

google

scopus