Logical semantics for the rewriting calculus

MaRDI QIDQ2848049zbMATH OpenFDO

Authors Aaron Stump, Carsten Schürmann

Publication date 25 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S157106610500099X

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1231677
• A rewriting logic approach to operational semantics
• scientific article; zbMATH DE number 1231543
• Automated Reasoning
• Compositional specification in rewriting logic
• The rewriting logic semantics project
• The rewriting logic semantics project
• A rewriting logic approach to operational semantics (extended abstract)
• Semantic foundations for generalized rewrite theories
• Formal Methods in Software and Systems Modeling

Cited in

(8)

• Comparing logics for rewriting: Rewriting logic, action calculi and tile logic
• A logic for rewriting strategies
• Rewrite strategies in the rewriting calculus
• From Rogue to MicroRogue
• scientific article; zbMATH DE number 1231669 (Why is no real title available?)
• scientific article; zbMATH DE number 2090065 (Why is no real title available?)
• Logic based structure rewriting systems
• Rewriting Techniques and Applications

This page was built for publication: Logical semantics for the rewriting calculus

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