Programming and symbolic computation in Maude - Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn (Journal of logical and algebraic methods in programming, 2020)
Keywords: External objects; Maude and rewriting logic; Meta-interpreters; Strategies; Symbolic model checking; Unification and narrowing; Symbolic model checking; Meta-interpreters; Maude and rewriting logic; Unification and narrowing; Strategies; External objects