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

(8)

• n-level rewriting systems
• scientific article; zbMATH DE number 512905 (Why is no real title available?)
• Rewrite systems for natural, integral, and rational arithmetic
• Faithful (meta-)encodings of programmable strategies into term rewriting systems
• Optimization of rewriting and complexity of rewriting
• A faithful encoding of programmable strategies into term rewriting systems
• Functional and Logic Programming
• Term Rewriting and Applications

Describes a project that uses

Uses Software

• ECCE
• CafeOBJ
• Maude

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)