Strategic rewriting

zbMATH Open1272.68189MaRDI QIDQ2849580FDOQ2849580

Authors: Claude Kirchner 

Publication date: 20 September 2013

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

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (4)

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

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)