Programming and symbolic computation in Maude release_loloa2temzgubgorsxnqwefuwi

by Francisco Durán, Steven Eker, Santiago Escobar, Narciso Martí-Oliet, José Meseguer, Rubén Rubio, Carolyn Talcott

Published in Journal of Logical and Algebraic Methods in Programming by Elsevier BV.

2019   p100497

Archived Files and Locations

application/pdf  980.9 kB
file_rxmhmmk27jcordcyw5yweeakqy
riunet.upv.es (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Year   2019
Language   en ?
Journal Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  2352-2208
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: c994d0b0-34e0-4971-bf1b-7f3d4811d3a9
API URL: JSON