Natural Rewriting for General Term Rewriting Systems

DOI10.1007/11506676_7zbMATH Open1134.68380OpenAlexW4239132127MaRDI QIDQ5458797FDOQ5458797

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

Recommendations

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

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

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

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)