1. Programming and symbolic computation in maude;Durán;J. Log. Algebraic Methods Program.,2020
2. Generalized rewrite theories, coherence completion, and symbolic methods;Meseguer;J. Log. Algebraic Methods Program.,2020
3. A partial evaluation framework for order-sorted equational programs modulo axioms;Alpuente;J. Log. Algebraic Methods Program.,2020
4. Abstracting models of strong normalization for classical calculi;Downen;J. Log. Algebraic Methods Program.,2020
5. Ground confluence of order-sorted conditional specifications modulo axioms;Durán;J. Log. Algebraic Methods Program.,2020