A natural implementation of plural semantics in maude

  1. Riesco, A.
  2. Rodríguez-Hortalá, J.
Zeitschrift:
Electronic Notes in Theoretical Computer Science

ISSN: 1571-0661

Datum der Publikation: 2010

Ausgabe: 253

Nummer: 7

Seiten: 165-175

Art: Konferenz-Beitrag

DOI: 10.1016/J.ENTCS.2010.08.039 GOOGLE SCHOLAR lock_openOpen Access editor
Datenquelle: Scopus