Natural Rewriting for General Term Rewriting Systems

DOI10.1007/11506676_7MaRDI QIDQ5458797zbMATH OpenOpenAlexFDO

Authors Santiago Escobar, José Meseguer, Prasannaa Thati

Publication date 24 April 2008

Published in Logic Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11506676_7

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Recommendations

• Term Rewriting and Applications
• Functional and Logic Programming
• Optimization of rewriting and complexity of rewriting
• Natural termination
• Term Rewriting and Applications

Cited in

(7)

• Faithful (meta-)encodings of programmable strategies into term rewriting systems
• Rewrite systems for natural, integral, and rational arithmetic
• Term Rewriting and Applications
• A faithful encoding of programmable strategies into term rewriting systems
• n-level rewriting systems
• Functional and Logic Programming
• Optimization of rewriting and complexity of rewriting

Describes a project that uses

Uses Software

• Maude
• CafeOBJ
• ECCE

This page was built for publication: Natural Rewriting for General Term Rewriting Systems

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