Context-sensitive AC-rewriting

DOI10.1007/3-540-48685-2_24MaRDI QIDQ4938610zbMATH OpenFDO

Authors Maria C. F. Ferreira, A. L. B. Ribeiro

Publication date 23 February 2000

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-48685-2_24

zbMATH Keywords

context-sensitive rewriting

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Termination of context-sensitive rewriting
• Applications and extensions of context-sensitive rewriting
• Termination of context sensitive rewriting by rewriting
• Context-sensitive rewriting strategies
• Transformation techniques for context-sensitive rewrite systems

Cited in

(12)

• On-demand strategy annotations revisited: an improved on-demand evaluation strategy
• Context-sensitive rewriting strategies
• Applications and extensions of context-sensitive rewriting
• Proving operational termination of membership equational programs
• Lazy rewriting and context-sensitive rewriting
• The growing context-sensitive languages are the acyclic context-sensitive languages
• Termination of context sensitive rewriting by rewriting
• Demand-Driven Normalisation for ACD Term Rewriting
• ACD Term Rewriting
• Fundamentals of context-sensitive rewriting
• Proving termination of context-sensitive rewriting by transformation
• Context-sensitive dependency pairs

This page was built for publication: Context-sensitive AC-rewriting

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