scientific article
From MaRDI portal
Publication:2844065
zbMath1270.68122MaRDI QIDQ2844065
Horatiu Cirstea, Benjamin Wack, Claude Kirchner, Luigi Liquori
Publication date: 27 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105826131
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
A \(\rho\)-calculus of explicit constraint application, Rewriting Strategies and Strategic Rewrite Programs, Twenty years of rewriting logic, A Rewriting Calculus for Multigraphs with Ports, A Port Graph Calculus for Autonomic Computing and Invariant Verification, The proof monad, A Rewriting Semantics for Maude Strategies, A Higher-Order Graph Calculus for Autonomic Computing, Towards a Sharing Strategy for the Graph Rewriting Calculus
