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.
Zeitschrift:
Journal of Logical and Algebraic Methods in Programming

ISSN: 2352-2216

Datum der Publikation: 2020

Ausgabe: 110

Art: Artikel

DOI: 10.1016/J.JLAMP.2019.100497 GOOGLE SCHOLAR lock_openOpen Access editor
Datenquelle: Scopus