%0 Report
%A Rubio Cuéllar, Rubén Rafael
%A Martí Oliet, Narciso
%A Pita Andreu, María Isabel
%A Verdejo López, José Alberto
%T The semantics of the Maude strategy language
%D 2021
%U https://hdl.handle.net/20.500.14352/5766
%X The 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.
%~