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

Ano de publicación: 2020

Volume: 110

Tipo: Artigo

DOI: 10.1016/J.JLAMP.2019.100497 GOOGLE SCHOLAR lock_openAcceso aberto editor
Fonte de datos: Scopus