Programming and symbolic computation in Maude

  1. Durán, F.
  2. Eker, S.
  3. Escobar, S.
  4. Martí-Oliet, N.
  5. Meseguer, J.
  6. Rubio, R.
  7. Talcott, C.
Revista:
Journal of Logical and Algebraic Methods in Programming

ISSN: 2352-2216

Año de publicación: 2020

Volumen: 110

Tipo: Artículo

DOI: 10.1016/J.JLAMP.2019.100497 GOOGLE SCHOLAR lock_openAcceso abierto editor
Fuente de los datos: Scopus