Strategic rewriting

MaRDI QIDQ2849580zbMATH OpenFDO

Authors Claude Kirchner

Publication date 20 September 2013

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• scientific article; zbMATH DE number 512905
• Rewriting strategies and strategic rewrite programs
• A rewriting point of view on strategies
• Rewriting
• A logic for rewriting strategies
• Rewriting in Practice
• Termination of rewriting under strategies
• Context-sensitive rewriting strategies

Cited in

(4)

• Rewriting
• Is strategic programming a viable paradigm?
• Term-Graph Rewriting Via Explicit Paths
• Round Table: A compromise between collaboration in research and cooperation programs

This page was built for publication: Strategic rewriting

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2849580)