scientific article

zbMath1270.68055MaRDI QIDQ2844063

Manuel Clavel

Publication date: 27 August 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610582612X

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Theory of programming languages (68N15) Grammars and rewriting systems (68Q42)

Related Items (3)

Metalevel transformation of strategies ⋮ The Maude strategy language ⋮ An Overview of the Maude Strategy Language and its Applications

Uses Software

• Maude

This page was built for publication: