A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation

DOI10.1016/S1571-0661(04)00291-9zbMath1268.68061OpenAlexW2009385526MaRDI QIDQ2841245

Kiyoshi Akama, Hidekatsu Koike, Ekawit Nantajeewarawat

Publication date: 24 July 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)00291-9

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation

Cites Work

• A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation
• Transformation of logic programs: Foundations and techniques
• A Machine-Oriented Logic Based on the Resolution Principle
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Class of Rewriting Rules and Reverse Transformation for Rule-based Equivalent Transformation