Transforming Outermost into Context-Sensitive Rewriting

DOI10.2168/LMCS-6(2:5)2010MaRDI QIDQ3575304zbMATH OpenFDO

Authors Jörg Endrullis, Dimitri Hendriks

Publication date 27 July 2010

Published in Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2168/LMCS-6(2:5)2010

zbMATH Keywords

context-sensitive rewritingoutermost rewritingterm rewritingtermination

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• From Outermost to Context-Sensitive Rewriting
• Transformation techniques for context-sensitive rewrite systems
• Implementing contextual rewriting
• Applications and extensions of context-sensitive rewriting
• scientific article; zbMATH DE number 3921957
• Context rewriting
• Context-sensitive rewriting strategies
• Lazy rewriting and context-sensitive rewriting
• scientific article; zbMATH DE number 1948501
• Publication:3028332

Cited in

(6)

• Applications and extensions of context-sensitive rewriting
• Transducer degrees: atoms, infima and suprema
• From Outermost Termination to Innermost Termination
• From Outermost to Context-Sensitive Rewriting
• Lazy productivity via termination
• Context rewriting

This page was built for publication: Transforming Outermost into Context-Sensitive Rewriting

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