Natural Rewriting for General Term Rewriting Systems

DOI10.1007/11506676_7zbMath1134.68380OpenAlexW4239132127MaRDI QIDQ5458797

Prasanna Thati, José Meseguer, Santiago Escobar

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)

Uses Software

• ECCE
• CafeOBJ
• Maude

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