Synchronous products of rewrite systems

DOI10.1007/978-3-319-46520-3_10zbMath1398.68279OpenAlexW2521108378WikidataQ123905817 ScholiaQ123905817MaRDI QIDQ1990506

Alberto Verdejo, Narciso Martí-Oliet, Óscar Martín

Publication date: 25 October 2018

Full work available at URL: https://doi.org/10.1007/978-3-319-46520-3_10

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Related Items (1)

Compositional Specification in Rewriting Logic

Uses Software

• Maude

This page was built for publication: Synchronous products of rewrite systems