Rubio Cuéllar, Rubén RafaelMartí Oliet, NarcisoPita Andreu, María IsabelVerdejo López, José Alberto2023-06-162023-06-162021-08-30https://hdl.handle.net/20.500.14352/5766The syntax and three equivalent semantics of the Maude strategy language: a set-theoretic denotational semantics, a nondeterministic small-step operational semantics, and an operational rewriting semantics. The proofs of their equivalence are included.engAtribución 3.0 Españahttps://creativecommons.org/licenses/by/3.0/es/The semantics of the Maude strategy languageLas semánticas del lenguaje de estrategias de Maudetechnical reporthttp://maude.ucm.es/strategiesopen access004.4Rewriting strategiesMaudeLanguage semanticsLenguajes de programaciónSoftware1203.23 Lenguajes de Programación3304.16 Diseño Lógico